Linear Processes and Parameterised BESs

Muhammad Atif; Jan Friso Groote

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

Linear Processes and Parameterised BESs

Muhammad Atif (Corresponding author), Jan Friso Groote

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

1 Downloads (Pure)

Abstract

In this chapter, we introduce linear processes and parameterised boolean equation systems. These are normal forms. Any process can be transformed into a behaviourally equivalent linear process, also called a Linear Process Specification (LPS).

Original language	English
Title of host publication	Understanding Behaviour of Distributed Systems Using mCRL2
Publisher	Springer
Chapter	8
Pages	149-163
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_8
Publication status	Published - 26 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_8

Cite this

@inbook{54097c17369e4df18812e869a182a481,

title = "Linear Processes and Parameterised BESs",

abstract = "In this chapter, we introduce linear processes and parameterised boolean equation systems. These are normal forms. Any process can be transformed into a behaviourally equivalent linear process, also called a Linear Process Specification (LPS).",

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 = "26",

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

language = "English",

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

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

publisher = "Springer",

pages = "149--163",

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

address = "Germany",

}

TY - CHAP

T1 - Linear Processes and Parameterised BESs

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023/2/26

Y1 - 2023/2/26

N2 - In this chapter, we introduce linear processes and parameterised boolean equation systems. These are normal forms. Any process can be transformed into a behaviourally equivalent linear process, also called a Linear Process Specification (LPS).

AB - In this chapter, we introduce linear processes and parameterised boolean equation systems. These are normal forms. Any process can be transformed into a behaviourally equivalent linear process, also called a Linear Process Specification (LPS).

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

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

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

M3 - Chapter

AN - SCOPUS:85149471205

SN - 978-3-031-23007-3

T3 - Studies in Systems, Decision and Control

SP - 149

EP - 163

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -

Linear Processes and Parameterised BESs

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this