A generalized deadlock predicate

DOI10.1016/0020-0190(86)90133-XMaRDI QIDQ1085972zbMATH OpenOpenAlexFDO

Authors David R. O'Hallaron, Paul Reynolds

Publication date 1986

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(86)90133-x

zbMATH Keywords

parallel processingsoftware reliabilityoperating systempredicate transformerfixed point functionalresource invariantsemaphore invariant method

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• The pursuit of deadlock freedom
• Two logical methods of deadlock analysis
• Cut-off theorems for the \textit{PV}-model
• Resource-Oriented Deadlock Analysis

Cites work

• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• Formal derivation of strongly correct concurrent programs
• Programming as a Discipline of Mathematical Nature
• Synchronization Problems Solvable by Generalized PV Systems
• Synthesis of Resource Invariants for Concurrent Programs
• The Total Correctness of Parallel Programs
• Verifying properties of parallel programs

Cited in

(1)

• Cut-off theorems for the \textit{PV}-model

This page was built for publication: A generalized deadlock predicate

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