Defining liveness (1985)

by B Alpern, F B Schneider
Venue:Information Processing Letters