Back to Search
Start Over
Abstract Congruence Criteria for Weak Bisimilarity
- Publication Year :
- 2020
-
Abstract
- We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical operational semantics and the coalgebraic approach to weak bisimulation by Brengos. We demonstrate each criterion with various examples of success and failure and establish a formal connection with the simply WB cool rule format of Bloom and van Glabbeek. In addition, we show that the three criteria induce lax models in the sense of Bonchi et al.
- Subjects :
- Computer Science - Logic in Computer Science
Mathematics - Category Theory
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2010.07899
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4230/LIPIcs.MFCS.2021.88