Communicating Processes

Muhammad Atif; Jan Friso Groote

doi:10.1007/978-3-031-23008-0_3

Communicating Processes

Muhammad Atif (Corresponderende auteur)
, Jan Friso Groote

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

Samenvatting

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.

Originele taal-2	Engels
Titel	Understanding Behaviour of Distributed Systems Using mCRL2
Uitgeverij	Springer
Hoofdstuk	3
Pagina's	25-35
Aantal pagina's	11
ISBN van elektronische versie	978-3-031-23008-0
ISBN van geprinte versie	978-3-031-23007-3
DOI's	https://doi.org/10.1007/978-3-031-23008-0_3
Status	Gepubliceerd - 23 feb. 2023

Publicatie series

Naam	Studies in Systems, Decision and Control
Volume	458
ISSN van geprinte versie	2198-4182
ISSN van elektronische versie	2198-4190

Bibliografische nota

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

Toegang tot document

10.1007/978-3-031-23008-0_3

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

@inbook{901a02784fb147aea1469d19234cbe91,

title = "Communicating Processes",

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.",

author = "Muhammad Atif and Groote, \{Jan Friso\}",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.",

year = "2023",

month = feb,

day = "23",

doi = "10.1007/978-3-031-23008-0\_3",

language = "English",

isbn = "978-3-031-23007-3",

series = "Studies in Systems, Decision and Control",

publisher = "Springer",

pages = "25--35",

booktitle = "Understanding Behaviour of Distributed Systems Using mCRL2",

address = "Germany",

}

TY - CHAP

T1 - Communicating Processes

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023/2/23

Y1 - 2023/2/23

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85149468903

U2 - 10.1007/978-3-031-23008-0_3

DO - 10.1007/978-3-031-23008-0_3

M3 - Chapter

AN - SCOPUS:85149468903

SN - 978-3-031-23007-3

T3 - Studies in Systems, Decision and Control

SP - 25

EP - 35

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -