The following pages link to (Q3821598):
Displaying 9 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Language Representability of Finite P/T Nets (Q3460873) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
