On interprocess communication. part ii: Algorithms (1986)

by L Lamport
Venue:Distributed Computing