Naming and synchronization in a decentralized computer systempublications.csail.mit.edu1 pointda0210 years ago