The following pages link to (Q4942013):
Displayed 12 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- On the usability of process algebra: An architectural view (Q1781999) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Refined Interfaces for Compositional Verification (Q3613065) (← links)
- (Q6190868) (← links)