The following pages link to (Q3670577):
Displayed 8 items.
- Nets, sequential components and concurrency relations (Q797994) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- A mathematical model for system design and refinement (Q3477975) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)