The following pages link to (Q3795192):
Displayed 12 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Step failures semantics and a complete proof system (Q582133) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Branching processes of Petri nets (Q1175711) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← 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)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets (Q3613087) (← links)