2026-08-06T11:03:13Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14410 2024-03-12T12:00:10Z ddc:004 open_access

Enabling Preserving Bisimulation Equivalence van Glabbeek, Rob Höfner, Peter Wang, Weiyou bisimilarity liveness properties fairness assumptions process algebra 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rob van Glabbeek and Peter Höfner and Weiyou Wang 2021 Is Part Of LIPIcs, Volume 203, 32nd International Conference on Concurrency Theory (CONCUR 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2021.33 urn:nbn:de:0030-drops-144107 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.33 eng https://creativecommons.org/licenses/by/4.0/legalcode