Safety without stuttering

DOI10.1016/0020-0190(86)90132-8zbMath0619.68019OpenAlexW2025835812MaRDI QIDQ1089789

Bowen Alpern, Alan Demers, Fred B. Schneider

Publication date: 1986

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

Full work available at URL: https://hdl.handle.net/1813/6548

zbMATH Keywords

semanticsconcurrencypartial correctnessmutual exclusiondeadlock freedomformalization of safety properties

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

Safety, liveness and fairness in temporal logic ⋮ Recognizing safety and liveness ⋮ An abstract interpretation-based model for safety semantics ⋮ Sooner is safer than later

Cites Work

• Proving the Correctness of Multiprocess Programs

This page was built for publication: Safety without stuttering