The following pages link to (Q5480176):
Displaying 7 items.
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- M-nets: a survey (Q1006339) (← 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)
- A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets (Q2848363) (← links)
- (Q4986264) (← links)