Communicating Processes

Muhammad Atif, Jan Friso Groote

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

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 languageEnglish
Title of host publicationUnderstanding Behaviour of Distributed Systems Using mCRL2
PublisherSpringer
Pages25-35
Number of pages11
DOIs
Publication statusPublished - 2023

Publication series

NameStudies in Systems, Decision and Control
Volume458
ISSN (Print)2198-4182
ISSN (Electronic)2198-4190

Bibliographical note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Cite this