A rough draft of the book is available here. pdf




In this forthcoming book, I show that many distributed algorithms can be derived in a systematic manner. A companion book shows that many parallel algorithms can also be derived using this approach.