Divergence-preserving branching bisimilarity

Bas Luttik

doi:10.4204/EPTCS.322.2

Divergence-preserving branching bisimilarity

Bas Luttik (Corresponding author)

Research output: Contribution to journal › Conference article › peer-review

7 Citations (Scopus)

Abstract

This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.

Original language	English
Pages (from-to)	3-11
Number of pages	9
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	322
DOIs	https://doi.org/10.4204/EPTCS.322.2
Publication status	Published - 27 Aug 2020
Event	Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020 - Virtual, Online, Austria Duration: 31 Aug 2020 → …

Access to Document

10.4204/EPTCS.322.2

http://eptcs.web.cse.unsw.edu.au/content.cgi?EXPRESSSOS2020

Cite this

@article{101452340223490dad23289c95c46655,

title = "Divergence-preserving branching bisimilarity",

abstract = "This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.",

author = "Bas Luttik",

year = "2020",

month = aug,

day = "27",

doi = "10.4204/EPTCS.322.2",

language = "English",

volume = "322",

pages = "3--11",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020 ; Conference date: 31-08-2020",

}

TY - JOUR

T1 - Divergence-preserving branching bisimilarity

AU - Luttik, Bas

PY - 2020/8/27

Y1 - 2020/8/27

N2 - This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.

AB - This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.

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

U2 - 10.4204/EPTCS.322.2

DO - 10.4204/EPTCS.322.2

M3 - Conference article

AN - SCOPUS:85095573107

SN - 2075-2180

VL - 322

SP - 3

EP - 11

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020

Y2 - 31 August 2020

ER -

Divergence-preserving branching bisimilarity

Abstract

Access to Document

Other files and links

Fingerprint

Cite this