Title: On a general definition of safety and liveness
First published: 1991
Subjects: Electronic data processing, Distributed processing