On interprocess communication--part ii: Algorithms (1986)

by Leslie Lamport
Venue:Distributed Computing