On interprocess communication, Part I: Basic formalisms (1986)

by L Lamport
Venue:Distrib. Comput