The following pages link to (Q3675536):
Displayed 10 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Branching processes of Petri nets (Q1175711) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- Behavioral complexity indicators for process algebra: The NKS approach (Q2373650) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)