Comprehensive introduction to the fundamental results in the mathematical foundations of distributed computing Accompanied by supporting material, such as lecture notes and solutions for selected exercises Each chapter ends with bibliographical notes and a set of exercises Covers the fundamental models, issues and techniques, and features some of the more advanced topics