Publisher's Synopsis
This introduction to the mathematical foundations and theory of distributed computing describes algorithms and their correctness proofs, impossibility results and lower bounds for the fundamental problems. End-of-chapter exercises are included.