Pages that link to "Item:Q5709380"
From MaRDI portal
The following pages link to Communicating Sequential Processes. The First 25 Years (Q5709380):
Displaying 6 items.
- An intensional characterization of the largest bisimulation (Q580963) (← links)
- Bisimulation and divergence (Q750163) (← links)
- Process simulation and refinement (Q911322) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395108) (← links)