Hereditary History-Preserving Bisimilarity: Logics and Automata
No abstract available.
Related papers
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Fast Coalgebraic Bisimilarity Minimization POPL 2023
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Implementing a normalizer using sized heterogeneous types JFP 2009
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs ESOP 2016
- A Temporal Fixpoint Calculus POPL 1988
- On the origins of bisimulation and coinduction TOPLAS 2009