An Axiomatisation of Duplication Equivalence in the Petri Box Calculus

DOI10.1007/3-540-69108-1_10zbMath1510.6806MaRDI QIDQ6487391

Maciej Koutny, Unnamed Author

Publication date: 9 December 2022

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

An Axiomatisation of Duplication Equivalence in the Petri Box Calculus

Cites Work

• Operational and denotational semantics for the box algebra
• S-invariant analysis of general recursive Petri boxes
• Nets, Terms and Formulas
• Process Algebra
• Solving recursive net equations
• A refined view of the box algebra
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Axiomatisation of Duplication Equivalence in the Petri Box Calculus