Presenting the fundamentals of self-stabilization, this book demonstrates the process of designing self-stabilizing distributed systems. It details the algorithms that can be started in an arbitrary state, allowing the system to recover from the faults that brought it to that state.[...]