Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Coalgebraic bisimulation up-to"

by Marcello Bonsangue

Sat, 16 March 2013 at 09:15 am in Rome, Italy

Joint work with: Filippo Bonchi, Damien Pous, Jurriaan Rot, Jan Rutten, Alexandra Silva

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 simplifi ed coinductive proofs of equivalence.