Abstract Congruence Criteria for Weak Bisimilarity

Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens

Research output: Book/ReportOther reportResearch

Abstract

We introduce three general compositionality criteria over operational semantics that 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 give a formal proof of correctness for our main result.
Original languageEnglish
PublisherarXiv
Number of pages22
Publication statusPublished - 15 Oct 2020

Fingerprint

Dive into the research topics of 'Abstract Congruence Criteria for Weak Bisimilarity'. Together they form a unique fingerprint.

Cite this