A Context Dependent Equivalence Relation Between Kripke Structures
Abstract elided by the publisher.
Related papers
- The marriage of bisimulations and Kripke logical relations POPL 2012
- A kripke logical relation between ML and assembly POPL 2011
- Abstract effects and proof-relevant logical relations POPL 2014
- An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation TACAS 2016
- Hashing Modulo Context-Sensitive 𝛼-Equivalence PLDI 2024
- Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules POPL 2024
- Equivalence of system f and ź2 in Coq based on context morphism lemmas CPP 2017
- Type Universes as Kripke Worlds ICFP 2025