Abstract Congruence Criteria for Weak Bisimilarity

10/15/2020
by   Stelios Tsampas, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset