The following pages link to (Q4422085):
Displaying 4 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196) (← links)
- Towards Property Oriented Testing (Q2870321) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
