Safety without stuttering
From MaRDI portal
Publication:1089789
DOI10.1016/0020-0190(86)90132-8zbMath0619.68019MaRDI QIDQ1089789
Fred B. Schneider, Bowen Alpern, Alan Demers
Publication date: 1986
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/6548
semantics; concurrency; partial correctness; mutual exclusion; deadlock freedom; formalization of safety properties
68N25: Theory of operating systems
Related Items
Recognizing safety and liveness, Sooner is safer than later, Safety, liveness and fairness in temporal logic, An abstract interpretation-based model for safety semantics
Cites Work