Recognizing safety and liveness (1987)

by Bowen Alpern, Fred B Schneider
Venue:Distributed Computing