On interprocess communication. Part I: Basic formalism (1986)

by L Lamport
Venue:Distributed Computing