The following pages link to (Q3680261):
Displayed 5 items.
- A timed model for communicating sequential processes (Q1109561) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- Compositional priority specification in real-time distributed systems. (Q5955750) (← links)