Communication as unification in the Petri Box Calculus

DOI10.1007/3-540-60249-6_62MaRDI QIDQ5055902zbMATH OpenOpenAlexFDO

Authors Hanna Klaudel, Elisabeth Pelz

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_62

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1501606
• scientific article; zbMATH DE number 2064221
• Compositional process semantics of Petri Boxes
• The box algebra = Petri nets + process expressions
• scientific article; zbMATH DE number 3980501

Cites work

• A class of composable high level Petri nets
• Communication as unification in the Petri Box Calculus
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 512822 (Why is no real title available?)
• Petri nets and algebraic specifications

Cited in

(2)

• General parameterised refinement and recursion for the M-net calculus
• Communication as unification in the Petri Box Calculus

This page was built for publication: Communication as unification in the Petri Box Calculus

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