Instance Deadlock: A Mystery behind Frozen Programs

DOI10.1007/978-3-642-13675-7_1zbMath1285.68039OpenAlexW1606081226MaRDI QIDQ3569858

Gabriel Juhás, Ana Juhásová, Igor Kazlov

Publication date: 22 June 2010

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13675-7_1

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Decidability and complexity of Petri nets with unordered data

This page was built for publication: Instance Deadlock: A Mystery behind Frozen Programs