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

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

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)

Cites Work

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

Cited In (15)

• 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
• Multisets and structural congruence of the pi-calculus with replication
• An exercise in structural congruence
• Typed event structures and the linear \(\pi \)-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• The decidability of the structural congruence for beta-binders
• A theory of structural stationarity in the \(\pi\)-calculus
• A compositional Petri net translation of general \(\pi\)-calculus terms
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• Title not available (Why is that?)
• Systemic yoyo structure in human thoughts and the fourth crisis in mathematics
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Title not available (Why is that?)

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)