40 citations · 108 across the 14 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Daniela Petrisan, Damien Pous +1
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…