Rooted divergence-preserving branching bisimilarity is a congruence

Rob van Glabbeek; Bas Luttik; Linda Spaninks

doi:10.23638/LMCS-16(3:14)2020

Rooted divergence-preserving branching bisimilarity is a congruence

Rob van Glabbeek (Corresponding author)
, Bas Luttik (Corresponding author)
, Linda Spaninks

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Scopus)

Abstract

We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.

Original language	English
Article number	14
Number of pages	16
Journal	Logical Methods in Computer Science
Volume	16
Issue number	3
DOIs	https://doi.org/10.23638/LMCS-16(3:14)2020
Publication status	Published - 2020

Keywords

Branching bisimulation
Congruence
Divergence
Process algebra
Recursion

Access to Document

10.23638/LMCS-16(3:14)2020

https://arxiv.org/abs/1801.01180v6

Cite this

@article{f1876b69579b4e15bf3bdbaf855de24b,

title = "Rooted divergence-preserving branching bisimilarity is a congruence",

abstract = "We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.",

keywords = "Branching bisimulation, Congruence, Divergence, Process algebra, Recursion",

author = "\{van Glabbeek\}, Rob and Bas Luttik and Linda Spaninks",

year = "2020",

doi = "10.23638/LMCS-16(3:14)2020",

language = "English",

volume = "16",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "3",

}

TY - JOUR

T1 - Rooted divergence-preserving branching bisimilarity is a congruence

AU - van Glabbeek, Rob

AU - Luttik, Bas

AU - Spaninks, Linda

PY - 2020

Y1 - 2020

N2 - We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.

AB - We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.

KW - Branching bisimulation

KW - Congruence

KW - Divergence

KW - Process algebra

KW - Recursion

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

U2 - 10.23638/LMCS-16(3:14)2020

DO - 10.23638/LMCS-16(3:14)2020

M3 - Article

AN - SCOPUS:85090790441

SN - 1860-5974

VL - 16

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 3

M1 - 14

ER -

Rooted divergence-preserving branching bisimilarity is a congruence

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this