A generalized deadlock predicate
From MaRDI portal
Publication:1085972
DOI10.1016/0020-0190(86)90133-XzbMath0608.68017MaRDI QIDQ1085972
David R. O'Hallaron, Paul F. jun. Reynolds
Publication date: 1986
Published in: Information Processing Letters (Search for Journal in Brave)
parallel processing; software reliability; operating system; predicate transformer; fixed point functional; resource invariant; semaphore invariant method
68N25: Theory of operating systems
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