scientific article; zbMATH DE number 7339678

MaRDI QIDQ4986264zbMATH OpenFDO

Authors Stephan Mennicke

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1208.2753, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.10

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Operational semantics for Petri net components
• High-level Petri nets as type theories in the join calculus
• scientific article; zbMATH DE number 4037225
• Bisimulations in the join-calculus
• An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Petri net semantics of the finite -calculus terms
• On semantics of Petri nets over partial algebra
• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606

Cited in

(2)

• High-level Petri nets as type theories in the join calculus
• JC-nets

This page was built for publication:

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