On the implementation of concurrent calculi in net calculi: two case studies

DOI10.1016/0304-3975(94)00073-RzbMath0873.68144OpenAlexW1988204590MaRDI QIDQ673785

Roberto Gorrieri, Ugo Montanari

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(94)00073-r

zbMATH Keywords

Petri netRCCS

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

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets ⋮ Ugo Montanari and Concurrency Theory ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS ⋮ Zero-safe nets: Comparing the collective and individual token approaches. ⋮ Tile formats for located and mobile systems. ⋮ The box algebra = Petri nets + process expressions

Uses Software

• UNITY

Cites Work

• Equational type logic
• A\(^ 2\)CCS: Atomic actions for CCS
• A partial ordering semantics for CCS
• Petri nets are monoids
• A complete inference system for a class of regular behaviours
• Petri nets, algebras, morphisms, and compositionality
• A distributed operational semantics of CCS based on condition/event systems
• Sequential and concurrent behaviour in Petri net theory
• Finite representations of CCS and TCSP programs by automata and Petri nets
• The chemical abstract machine
• Finite Petri nets as models for recursive causal behaviour
• The non-sequential behaviour of Petri nets
• Nets, Terms and Formulas
• An algebraic view of interleaving and distributed operational semantics for CCS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the implementation of concurrent calculi in net calculi: two case studies