Pages that link to "Item:Q939164"
From MaRDI portal
The following pages link to A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164):
Displaying 6 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- A Petri Net Interpretation of Open Reconfigurable Systems (Q3011889) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
