An Operational Petri Net Semantics for A2CCS
From MaRDI portal
Publication:2895794
DOI10.3233/FI-2011-501zbMath1251.68154OpenAlexW2400580994MaRDI QIDQ2895794
Cristian Versari, Roberto Gorrieri
Publication date: 4 July 2012
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2011-501
Petri netCCSlabeled transition systemPetri net semantics\(\text{A}^{2}\text{CCS}\)interleaving bisimilarstep bisimilar
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
The \texttt{link}-calculus for open multiparty interactions ⋮ A formal approach to open multiparty interactions
This page was built for publication: An Operational Petri Net Semantics for A2CCS
