Pages that link to "Item:Q672867"
From MaRDI portal
The following pages link to A multiset semantics for the pi-calculus with replication (Q672867):
Displaying 14 items.
- An exercise in structural congruence (Q845877) (← links)
- 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)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← 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)
- A new natural structural congruence in the pi-calculus with replication (Q1889854) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- The decidability of the structural congruence for beta-binders (Q2864203) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- Systemic yoyo structure in human thoughts and the fourth crisis in mathematics (Q3639466) (← links)
- (Q4501679) (← links)
- Structural inclusion in the pi-calculus with replication (Q5941195) (← links)