Defining liveness (1985)

by Bowen Alpern, Fred B Schneider
Venue:Information Processing Letters