Modelling distributed systems. (Q2382306)

The main goal of this book is to introduce novel techniques for the formal description and analysis of distributed systems. The book covers three areas connected with the modelling of distributed systems. The first area deals with theoretical principles that are used for the modelling. The second area is devoted to specification and verification of distributed algorithms and network protocols. The third area contains case studies as a support tool for learning and exercise how to specify and verify a real-life distributed system. The book is divided into 8 chapters and an appendix giving explanations on how to use some important tool sets. The first chapters take a programmatic view on how the basics of process algebra and abstract data types may be used in the modelling and analysis of distributed systems. The next chapters present a number of \(\mu\text{CRL}\) specifications of network protocols and explain how a \(\mu\text{CRL}\) specification can be reduced to a linear form. The last chapters describe verification algorithms on state spaces and techniques how to analyze \(\mu\text{CRL}\) specifications at a symbolic level. The book is very readable. It is recommended for students, teachers and researchers in the area of distributed systems.