Abstract
This chapter discusses the application of mCRL2 to analyse distributed algorithms. Such algorithms are essential for the functioning of distributed systems.
| Original language | English |
|---|---|
| Title of host publication | Understanding Behaviour of Distributed Systems Using mCRL2 |
| Publisher | Springer |
| Chapter | 10 |
| Pages | 183-200 |
| Number of pages | 18 |
| ISBN (Electronic) | 978-3-031-23008-0 |
| ISBN (Print) | 978-3-031-23007-3 |
| DOIs | |
| Publication status | Published - 2023 |
Publication series
| Name | Studies in Systems, Decision and Control |
|---|---|
| Volume | 458 |
| ISSN (Print) | 2198-4182 |
| ISSN (Electronic) | 2198-4190 |
Bibliographical note
Publisher Copyright:© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.