A multiset semantics for the pi-calculus with replication

DOI10.1016/0304-3975(95)00118-2zbMath0872.68125OpenAlexW2025846009MaRDI QIDQ672867

Joost Engelfriet

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00118-2

zbMATH Keywords

bisimulation\(\pi\)-calculus with replicationPetri net semanticsstructurally congruent processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

An exercise in structural congruence, On the Relationship between π-Calculus and Finite Place/Transition Petri Nets, A stable non-interleaving early operational semantics for the pi-calculus, A compositional Petri net translation of general \(\pi\)-calculus terms, On the decidability and complexity of the structural congruence for beta-binders, Typed event structures and the linear \(\pi \)-calculus, Structural inclusion in the pi-calculus with replication, Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS, A theory of structural stationarity in the \(\pi\)-calculus, Systemic yoyo structure in human thoughts and the fourth crisis in mathematics, Multisets and structural congruence of the pi-calculus with replication, The Decidability of the Structural Congruence for Beta-binders

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets are monoids
• A distributed operational semantics of CCS based on condition/event systems
• Branching processes of Petri nets
• Finite representations of CCS and TCSP programs by automata and Petri nets
• The chemical abstract machine
• A calculus of mobile processes. II
• Multisets and structural congruence of the pi-calculus with replication
• The non-sequential behaviour of Petri nets
• Flowgraphs and Flow Algebras
• Nets, Terms and Formulas
• Functions as processes
• Concurrent Processes and Their Syntax