We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Enhanced coalgebraic bisimulation.
- Authors
ROT, JURRIAAN; BONCHI, FILIPPO; BONSANGUE, MARCELLO; POUS, DAMIEN; RUTTEN, JAN; SILVA, ALEXANDRA
- Abstract
We present a systematic study of bisimulation-up-to techniques for coalgebras. This enhances the bisimulation proof method for a large class of state based systems, including labelled transition systems but also stream systems and weighted automata. Our approach allows for compositional reasoning about the soundness of enhancements. Applications include the soundness of bisimulation up to bisimilarity, up to equivalence and up to congruence. All in all, this gives a powerful and modular framework for simplified coinductive proofs of equivalence.
- Subjects
MACHINE theory; MODAL logic; NONCLASSICAL mathematical logic; COINDUCTION (Mathematics); BISIMULATION
- Publication
Mathematical Structures in Computer Science, 2017, Vol 27, Issue 7, p1236
- ISSN
0960-1295
- Publication type
Article
- DOI
10.1017/S0960129515000523