Designing reliable distributed systems : a formal methods approach based on executable modeling in maude
- London : Springer, 2017
- xviii, 313 p. : ill. ; 23.5 cm.
- Undergraduate topics in computer science .
Includes bibliographical references and index.
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 simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.
9781447166863
Electronic data processing Distributed processing. Computer network Maude Distributed systems