We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: 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.
Comments: A version of this paper without Appendix B appears in Proc. CONCUR'21
Subjects: Logic in Computer Science (cs.LO)
ACM classes: F.1.2; F.1.1; F.3.2
Cite as: arXiv:2108.00142 [cs.LO]
  (or arXiv:2108.00142v1 [cs.LO] for this version)

Submission history

From: Rob van Glabbeek [view email]
[v1] Sat, 31 Jul 2021 04:00:36 GMT (249kb,D)

Link back to: arXiv, form interface, contact.