A Survey of Decidability Results for Elementary Object Systems

DOI10.3233/FI-2014-983zbMath1286.68353OpenAlexW1520044067MaRDI QIDQ5416730

Michael Köhler-Bußmeier

Publication date: 14 May 2014

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

Full work available at URL: https://doi.org/10.3233/fi-2014-983

Mathematics Subject Classification ID

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

Related Items (1)

Modular rewritable Petri nets: an efficient model for dynamic distributed systems

This page was built for publication: A Survey of Decidability Results for Elementary Object Systems