Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.