Distributed computing: Models and methods (1990)

by L Lamport, N Lynch
Venue:in J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Volume B, The MIT Press—Elsevier