scientific article; zbMATH DE number 7339678

zbMATH Open1459.68148arXiv1208.2753MaRDI QIDQ4986264FDOQ4986264

Authors: Stephan Mennicke 

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1208.2753

Title of this publication is not available (Why is that?)

Recommendations

• Operational semantics for Petri net components
• scientific article; zbMATH DE number 1701348
• 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 \(\pi\)-calculus terms
• scientific article; zbMATH DE number 1490008
• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606

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)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)