License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2021.33
URN: urn:nbn:de:0030-drops-144107
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/14410/
van Glabbeek, Rob ;
Höfner, Peter ;
Wang, Weiyou
Enabling Preserving Bisimulation Equivalence
Abstract
Most fairness assumptions used for verifying liveness properties are criticised for being too strong or unrealistic. On the other hand, justness, arguably the minimal fairness assumption required for the verification of liveness properties, is not preserved by classical semantic equivalences, such as strong bisimilarity. To overcome this deficiency, we introduce a finer alternative to strong bisimilarity, called enabling preserving bisimilarity. We prove that this equivalence is justness-preserving and a congruence for all standard operators, including parallel composition.
BibTeX - Entry
@InProceedings{vanglabbeek_et_al:LIPIcs.CONCUR.2021.33,
author = {van Glabbeek, Rob and H\"{o}fner, Peter and Wang, Weiyou},
title = {{Enabling Preserving Bisimulation Equivalence}},
booktitle = {32nd International Conference on Concurrency Theory (CONCUR 2021)},
pages = {33:1--33:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-203-7},
ISSN = {1868-8969},
year = {2021},
volume = {203},
editor = {Haddad, Serge and Varacca, Daniele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14410},
URN = {urn:nbn:de:0030-drops-144107},
doi = {10.4230/LIPIcs.CONCUR.2021.33},
annote = {Keywords: bisimilarity, liveness properties, fairness assumptions, process algebra}
}
|
Keywords: |
|
bisimilarity, liveness properties, fairness assumptions, process algebra |
|
Collection: |
|
32nd International Conference on Concurrency Theory (CONCUR 2021) |
|
Issue Date: |
|
2021 |
|
Date of publication: |
|
13.08.2021 |
