Distributed Computing: Models and Methods (1990)

by L Lamport, N Lynch
Venue:Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics