Fault tolerance is an approach by which reliability of a computer system can be increased beyond what can be achieved by traditional methods. Comprehensive and

This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of

Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce corre

Fault-Tolerant Systems is the first book on fault tolerance design with a systems approach to both hardware and software. No other text on the market takes this

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstr