Safeness for Object Nets

DOI10.3233/FI-2010-273zbMath1213.68405OpenAlexW1904654453MaRDI QIDQ3081899

Michael Köhler-Bußmeier, Frank Heitmann

Publication date: 9 March 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-273

zbMATH Keywords

safenesselementary object nets (EOS)p/t nets

Mathematics Subject Classification ID

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

Related Items (1)

Complexity Results for Elementary Hornets

This page was built for publication: Safeness for Object Nets