A multiset semantics for the pi-calculus with replication

DOI10.1016/0304-3975(95)00118-2zbMATH Open0872.68125OpenAlexW2025846009MaRDI QIDQ672867FDOQ672867

Authors 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)

Recommendations

• Multisets and structural congruence of the pi-calculus with replication
• Structural inclusion in the pi-calculus with replication
• A new natural structural congruence in the pi-calculus with replication
• A compositional semantics for the reversible \(\pi\)-calculus
• A theory of bisimulation for the \(\pi\)-calculus
• A fully abstract denotational semantics for the \(\pi\)-calculus
• A symbolic semantics for the \(\pi\)-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• scientific article; zbMATH DE number 1500657

Cites work

• scientific article; zbMATH DE number 4018372 (Why is no real title available?)
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 4060688 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 139606 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• A calculus of mobile processes. II
• A distributed operational semantics of CCS based on condition/event systems
• Branching processes of Petri nets
• Concurrent Processes and Their Syntax
• Finite representations of CCS and TCSP programs by automata and Petri nets
• Flowgraphs and Flow Algebras
• Functions as processes
• Multisets and structural congruence of the pi-calculus with replication
• Nets, Terms and Formulas
• Petri nets are monoids
• The chemical abstract machine
• The non-sequential behaviour of Petri nets

Cited in

(15)

• A compositional Petri net translation of general \(\pi\)-calculus terms
• On the decidability and complexity of the structural congruence for beta-binders
• Structural inclusion in the pi-calculus with replication
• A new natural structural congruence in the pi-calculus with replication
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• Multisets and structural congruence of the pi-calculus with replication
• A theory of structural stationarity in the \(\pi\)-calculus
• The decidability of the structural congruence for beta-binders
• Systemic yoyo structure in human thoughts and the fourth crisis in mathematics
• An exercise in structural congruence
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• A stable non-interleaving early operational semantics for the pi-calculus
• scientific article; zbMATH DE number 2242584 (Why is no real title available?)
• scientific article; zbMATH DE number 1500657 (Why is no real title available?)
• Typed event structures and the linear \(\pi \)-calculus

This page was built for publication: A multiset semantics for the pi-calculus with replication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672867)