40 citations · 156 across the 43 of their papers we have counts for
1 paper · 2 filters
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…