Design and analysis of distributed algorithms - Santoro, N. (Nicola) 1951- (Wiley, 2007)