The following pages link to (Q3776645):
Displaying 8 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)
- (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)
