Automata to Represent Behaviour

Muhammad Atif; Jan Friso Groote

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

Automata to Represent Behaviour

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

In this chapter, we will learn to model a system in mCRL2. Notably, we want to model systems consisting of concurrent and communicating processes. We can also see how a process can be represented graphically in the form of an automaton. Parallelism among processes significantly increases the complexity of the behaviour of a system.

Original language	English
Title of host publication	Understanding Behaviour of Distributed Systems Using mCRL2
Publisher	Springer
Chapter	2
Pages	9-23
Number of pages	15
ISBN (Electronic)	978-3-031-23008-0
ISBN (Print)	978-3-031-23007-3
DOIs	https://doi.org/10.1007/978-3-031-23008-0_2
Publication status	Published - 23 Feb 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.

Access to Document

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

Cite this

@inbook{9276e699a2414b9c9cf104046f1d4487,

title = "Automata to Represent Behaviour",

abstract = "In this chapter, we will learn to model a system in mCRL2. Notably, we want to model systems consisting of concurrent and communicating processes. We can also see how a process can be represented graphically in the form of an automaton. Parallelism among processes significantly increases the complexity of the behaviour of a system.",

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

language = "English",

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

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

publisher = "Springer",

pages = "9--23",

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

address = "Germany",

}

TY - CHAP

T1 - Automata to Represent Behaviour

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023/2/23

Y1 - 2023/2/23

N2 - In this chapter, we will learn to model a system in mCRL2. Notably, we want to model systems consisting of concurrent and communicating processes. We can also see how a process can be represented graphically in the form of an automaton. Parallelism among processes significantly increases the complexity of the behaviour of a system.

AB - In this chapter, we will learn to model a system in mCRL2. Notably, we want to model systems consisting of concurrent and communicating processes. We can also see how a process can be represented graphically in the form of an automaton. Parallelism among processes significantly increases the complexity of the behaviour of a system.

UR - http://www.scopus.com/inward/record.url?scp=85149452639&partnerID=8YFLogxK

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

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

M3 - Chapter

AN - SCOPUS:85149452639

SN - 978-3-031-23007-3

T3 - Studies in Systems, Decision and Control

SP - 9

EP - 23

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -

Automata to Represent Behaviour

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this