Daniela Petrişan

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1