Abstract
The previous chapter showed simple examples of processes performing actions that communicate with the outside world. This chapter shows how parallel processes can communicate with each other.
Original language | English |
---|---|
Title of host publication | Understanding Behaviour of Distributed Systems Using mCRL2 |
Publisher | Springer |
Pages | 25-35 |
Number of pages | 11 |
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.