Pages that link to "Item:Q5900141"
From MaRDI portal
The following pages link to A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141):
Displaying 6 items.
- Petruchio (Q16570) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
