Designing Reliable Distributed Systems

Peter Csaba Ölveczky

Bog | Engelsk

Beskrivelse

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a s…