The following pages link to (Q3687696):
Displayed 5 items.
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)