Title: Global states and time in distributed systems
Subjects: Electronic data processing, Distributed processing