Pages that link to "Item:Q1262748"
From MaRDI portal
The following pages link to Submodule construction as equation solving in CCS (Q1262748):
Displaying 10 items.
- An improvement of algorithms for solving interface equations (Q293354) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Factorisation of finite state machines under strong and observational equivalences (Q1176112) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Interface synthesis and protocol conversion (Q2481210) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← links)
- Factorization for Component-Interaction Automata (Q2891388) (← links)
- Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
- Automatic synthesis of real time systems (Q4645208) (← links)