The following pages link to (Q4015488):
Displaying 5 items.
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- A theory of processes with localities (Q1329198) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)