A generalized deadlock predicate

DOI10.1016/0020-0190(86)90133-XzbMath0608.68017OpenAlexW2020682331MaRDI QIDQ1085972

Paul F. jun. Reynolds, David R. O'Hallaron

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)

Cites Work

• Unnamed Item
• Formal derivation of strongly correct concurrent programs
• Synchronization Problems Solvable by Generalized PV Systems
• The Total Correctness of Parallel Programs
• Synthesis of Resource Invariants for Concurrent Programs
• Verifying properties of parallel programs
• Programming as a Discipline of Mathematical Nature