On interprocess communication—Part I: Basic 243 formalism, Part II: Algorithms (1986)

by L Lamport
Venue:Distrib. Comput