Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions

DOI10.1016/0020-0190(93)90074-JzbMath0788.68046MaRDI QIDQ688439

H. Peter Gumm

Publication date: 20 December 1993

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

zbMATH Keywords

progresslivenesssafetyconcurrency

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Spanning the spectrum from safety to liveness ⋮ An abstract interpretation-based model for safety semantics ⋮ Making abstract models complete

Uses Software

• UNITY

Cites Work

• Defining liveness
• Proving the Correctness of Multiprocess Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions