Recognizing safety and liveness (1987)

by B Alpern, F B Schneider
Venue:Distributed Computing