Fault-Tolerant Message-Passing Distributed Systems

More about the book

Focusing on fault-tolerant distributed programming, this book delves into essential abstractions and algorithms crucial for reliable communication and consensus in distributed applications. It equips software designers and programmers to handle challenges like asynchrony, process crashes, and message losses, including Byzantine fault-tolerance. The author incrementally introduces these concepts, beginning with clear specifications, followed by intuitive algorithm descriptions and formal correctness proofs, making complex ideas accessible and practical for developers.