Talk "A General Account of Coinduction Up-To"

by Filippo Bonchi

Thu, 31 March 2016 at 04:15 pm in Eindhoven, The Netherlands

Joint work with: Daniela Petrisan, Damien Pous and Jurriaan Rot

Abstract: Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the soundness of such techniques in a fibrational setting, building on the seminal work of Hermida and Jacobs. This allows us to systematically obtain up-to techniques not only for bisimilarity but for a large class of coinductive predicates modelled as coalgebras.