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)