Title: Theoretical issues in the design and verification of distributed systems
Subjects: Electronic data processing, Distributed processing