Deadlock-free monitors

DOI10.1007/978-3-319-89884-1_15MaRDI QIDQ2323988zbMATH OpenOpenAlexFDO

Authors Jafar Hamin, Bart Jacobs

Publication date 13 September 2019

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-89884-1_15

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Deadlock-free channels and locks
• Verification, Model Checking, and Abstract Interpretation
• An Expressive Framework for Verifying Deadlock Freedom
• The theory of deadlock avoidance via discrete control
• A Transformation to Provide Deadlock-Free Programs

Cited in

(3)

• Starvation-free monitors
• Deadlock-free channels and locks
• Ghost signals: verifying termination of busy waiting

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Deadlock-free monitors

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