『Naming and Synchronization in a Decentralized Computer Systems』