Distributed computing: models and methods (1990)

by L Lamport, N Lynch
Venue:In: van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science