On interprocess communication--part i: Basic formalism (1986)

by Leslie Lamport
Venue:Distributed Computing