Pages that link to "Item:Q672867"
From MaRDI portal
The following pages link to A multiset semantics for the pi-calculus with replication (Q672867):
Displayed 6 items.
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← 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)
- Multisets and structural congruence of the pi-calculus with replication (Q1274455) (← links)
- Structural inclusion in the pi-calculus with replication (Q5941195) (← links)