Recognizing Safety and Liveness (1986)
by
Bowen Alpern
,
Bowen Alpera
,
Fred B. Schneider
,
Fred B. Schneider
| Venue: | Distributed Computing |
| Citations: | 145 - 3 self |
BibTeX
@ARTICLE{Alpern86recognizingsafety,
author = {Bowen Alpern and Bowen Alpera and Fred B. Schneider and Fred B. Schneider},
title = {Recognizing Safety and Liveness},
journal = {Distributed Computing},
year = {1986},
volume = {2},
pages = {117--126}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper substantiates that experience by formalizing safety and liveness in a way that permits the relationship between safety and invariance and between liveness and wellfoundedness to be demonstrated for a large class of properties. In so doing, we give new characterizations of safety and liveness and prove that they satisfy the formal definitions in [Alpera & Schneider 85a]
