Abstract Congruence Criteria for Weak Bisimilarity

Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens

Onderzoeksoutput: Other reportResearch

Samenvatting

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.
Originele taal-2English
UitgeverijarXiv
Aantal pagina's22
StatusPublished - 15 okt 2020

Keywords

  • cs.LO
  • math.CT

Vingerafdruk

Duik in de onderzoeksthema's van 'Abstract Congruence Criteria for Weak Bisimilarity'. Samen vormen ze een unieke vingerafdruk.

Citeer dit