The synchronization of independent processes (1976)

by L Lamport
Venue:Acta Informatica