Defining Liveness (1985)

by Bowen Alpern, Fred B Schneider
Venue:Inf. Process. Lett