Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View"
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View"
M. Abadi,B. Alpern,4 Authors,F. Schneider
1991 · DOI: 10.1016/0020-0190(91)90168-H
Information Processing Letters · 13 Citations
TLDR
The authors agree that most reasonable specifications will be written in the form recommended by Dederichs and Weber, and that feasibility is necessary to prevent a scheduler from “painting itself into a corner”.