Title: Naming and synchronization in a decentralized computer system
Subjects: Distributed processing, Electronic data processing, Electronic digital computers, Reliability