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