Preserving Liveness: Comments on “Safety and Liveness from a Methodological Point of View”
- Martin Abadi ,
- Bowen Alpern ,
- Krzysztof R. Apt ,
- Nissim Francez ,
- Shmuel Katz ,
- Leslie Lamport ,
- Fred B. Schneider
Information Processing Letters | , Vol 40(3): pp. 141-142
This is a very short article–the list of authors takes up almost as much space as the text. In a note published in IPL, Dederichs and Weber rediscovered the concept of non-machine-closed specifications. We observed here that their reaction to those specifications was naive.