Behavioural Equivalences

Muhammad Atif; Jan Friso Groote

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

Behavioural Equivalences

Muhammad Atif
, Jan Friso Groote

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

Abstract

A labelled transition system can be converted to a more compact one while preserving the essence of its behaviour. This process is called state-space reduction. If two systems have the same behaviour as another, we say that both systems are behaviourally equivalent.

Original language	English
Title of host publication	Understanding Behaviour of Distributed Systems Using mCRL2
Publisher	Springer
Chapter	4
Pages	37-50
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-031-23008-0_4
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_4

Cite this

@inbook{3c850da13b834aa5a3bb50bd349d5be9,

title = "Behavioural Equivalences",

abstract = "A labelled transition system can be converted to a more compact one while preserving the essence of its behaviour. This process is called state-space reduction. If two systems have the same behaviour as another, we say that both systems are behaviourally equivalent.",

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

language = "English",

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

publisher = "Springer",

pages = "37--50",

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

address = "Germany",

}

TY - CHAP

T1 - Behavioural Equivalences

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023/2/23

Y1 - 2023/2/23

N2 - A labelled transition system can be converted to a more compact one while preserving the essence of its behaviour. This process is called state-space reduction. If two systems have the same behaviour as another, we say that both systems are behaviourally equivalent.

AB - A labelled transition system can be converted to a more compact one while preserving the essence of its behaviour. This process is called state-space reduction. If two systems have the same behaviour as another, we say that both systems are behaviourally equivalent.

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

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

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

M3 - Chapter

AN - SCOPUS:85149464329

T3 - Studies in Systems, Decision and Control

SP - 37

EP - 50

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -

Behavioural Equivalences

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this