Pages that link to "Item:Q1274455"
From MaRDI portal
The following pages link to Multisets and structural congruence of the pi-calculus with replication (Q1274455):
Displayed 12 items.
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- An exercise in structural congruence (Q845877) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- Explicit fusions (Q2566040) (← links)
- The Decidability of the Structural Congruence for Beta-binders (Q2864203) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- Structural inclusion in the pi-calculus with replication (Q5941195) (← links)