Modelling distributed systems.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network protocols (68M12) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)
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.
- scientific article; zbMATH DE number 971419
- Modelling distributed and parallel computer systems
- Integrating the distributed system models
- scientific article; zbMATH DE number 1728518
- scientific article; zbMATH DE number 2205250
- Distributed systems. Principles and paradigms.
- Distributed systems. Principles and paradigms.
- scientific article; zbMATH DE number 194565
- Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984)
- Model checking mobile ad hoc networks
- scientific article; zbMATH DE number 1728518 (Why is no real title available?)
- scientific article; zbMATH DE number 4018360 (Why is no real title available?)
- Formal methods for distributed processing. A survey of object-oriented approaches.
- Model of distributed computing system operation with time
- scientific article; zbMATH DE number 1150543 (Why is no real title available?)
- Analyse régionale des systèmes distribués
- Approximate bounded synthesis for distributed systems
- Introduction to Reliable Distributed Programming
- Verification of mobile ad hoc networks: an algebraic approach
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
- Understanding Behaviour of Distributed Systems Using mCRL2
- Interaction improvement
- Process algebras as support for sustainable systems of services
- Verification of distributed systems with the axiomatic system of MSVL
This page was built for publication: Modelling distributed systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2382306)
