The following pages link to (Q3776645):
Displaying 17 items.
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Petri nets are monoids (Q922720) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- An algebra for process creation (Q1203719) (← links)
- A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- (Q5089269) (← links)
- An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
