Instance Deadlock: A Mystery behind Frozen Programs

DOI10.1007/978-3-642-13675-7_1zbMATH Open1285.68039OpenAlexW1606081226MaRDI QIDQ3569858FDOQ3569858

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

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

Recommendations

• scientific article; zbMATH DE number 703704
• Program visualization for debugging deadlocks in multithreaded programs
• Deadlock-freedom in resource contentions
• Deadlock detection of Java bytecode
• Deadlock detection in MPI programs

Mathematics Subject Classification ID

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

Cited In (1)

• Decidability and complexity of Petri nets with unordered data

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569858)