Linear Processes and Parameterised BESs

Muhammad Atif; Jan Friso Groote

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

Linear Processes and Parameterised BESs

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

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
Pages	149-163
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-031-23008-0_8
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.

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

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

language = "English",

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

Y1 - 2023

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 - http://www.scopus.com/inward/record.url?scp=85149471205&partnerID=8YFLogxK

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

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

M3 - Chapter

AN - SCOPUS:85149471205

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