Pages that link to "Item:Q3525146"
From MaRDI portal
The following pages link to A Petri Net Translation of π-Calculus Terms (Q3525146):
Displaying 6 items.
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← 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)
- (Q4737569) (← links)