A Characterisation of Weak Bisimulation Congruence

Rob J. van Glabbeek

doi:10.1007/11601548_4

A Characterisation of Weak Bisimulation Congruence

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Abstract

This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.

Original language	English
Title of host publication	Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Editors	Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	26-39
Number of pages	14
ISBN (Electronic)	978-3-540-32425-6
ISBN (Print)	978-3-540-30911-6
DOIs	https://doi.org/10.1007/11601548_4
Publication status	Published - 10 Dec 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin, Heidelberg
Volume	3838
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/11601548_4Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/11601548_4Licence: All Rights Reserved

Cite this

van Glabbeek, R. J. (2005). A Characterisation of Weak Bisimulation Congruence. In A. Middeldorp, V. van Oostrom, F. van Raamsdonk, & R. de Vrijer (Eds.), Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (pp. 26-39). (Lecture Notes in Computer Science; Vol. 3838). Springer. https://doi.org/10.1007/11601548_4

van Glabbeek, Rob J. / A Characterisation of Weak Bisimulation Congruence. Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. editor / Aart Middeldorp ; Vincent van Oostrom ; Femke van Raamsdonk ; Roel de Vrijer. Berlin, Heidelberg : Springer, 2005. pp. 26-39 (Lecture Notes in Computer Science).

@inbook{6875fb5af59f48c8809e43ad8d1b5631,

title = "A Characterisation of Weak Bisimulation Congruence",

abstract = "This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.",

author = "\{van Glabbeek\}, \{Rob J.\}",

year = "2005",

month = dec,

day = "10",

doi = "10.1007/11601548\_4",

language = "English",

isbn = "978-3-540-30911-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "26--39",

editor = "Aart Middeldorp and \{van Oostrom\}, Vincent and \{van Raamsdonk\}, Femke and \{de Vrijer\}, Roel",

booktitle = "Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday",

address = "United Kingdom",

}

van Glabbeek, RJ 2005, A Characterisation of Weak Bisimulation Congruence. in A Middeldorp, V van Oostrom, F van Raamsdonk & R de Vrijer (eds), Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 3838, Springer, Berlin, Heidelberg, pp. 26-39. https://doi.org/10.1007/11601548_4

A Characterisation of Weak Bisimulation Congruence. / van Glabbeek, Rob J.
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. ed. / Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer. Berlin, Heidelberg: Springer, 2005. p. 26-39 (Lecture Notes in Computer Science; Vol. 3838).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - A Characterisation of Weak Bisimulation Congruence

AU - van Glabbeek, Rob J.

PY - 2005/12/10

Y1 - 2005/12/10

N2 - This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.

AB - This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.

U2 - 10.1007/11601548_4

DO - 10.1007/11601548_4

M3 - Chapter (peer-reviewed)

SN - 978-3-540-30911-6

T3 - Lecture Notes in Computer Science

SP - 26

EP - 39

BT - Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

A2 - Middeldorp, Aart

A2 - van Oostrom, Vincent

A2 - van Raamsdonk, Femke

A2 - de Vrijer, Roel

PB - Springer

CY - Berlin, Heidelberg

ER -

van Glabbeek RJ. A Characterisation of Weak Bisimulation Congruence. In Middeldorp A, van Oostrom V, van Raamsdonk F, de Vrijer R, editors, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer. 2005. p. 26-39. (Lecture Notes in Computer Science). doi: 10.1007/11601548_4

A Characterisation of Weak Bisimulation Congruence

Abstract

Publication series

Access to Document

Fingerprint

Cite this