Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques
Abstract elided by the publisher.
Related papers
- The marriage of bisimulations and Kripke logical relations POPL 2012
- The impact of higher-order state and control effects on local relational reasoning JFP 2012
- Bisimulation Can't Be Traced POPL 1988
- An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation TACAS 2016
- The impact of higher-order state and control effects on local relational reasoning ICFP 2010
- Environmental Bisimulations for Delimited-Control Operators APLAS 2013
- Step-indexed kripke models over recursive worlds POPL 2011
- Effectful Normal Form Bisimulation ESOP 2019