Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras
No abstract available.
Related papers
- Bisimulation as path type for guarded recursive types POPL 2019
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006
- Proofs Methods for Bisimulation Based Information Flow Security VMCAI 2002
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- Bisimulation up-to techniques for psi-calculi CPP 2016
- Environmental bisimulations for higher-order languages TOPLAS 2011
- Invariant Generation for Multi-Path Loops with Polynomial Assignments VMCAI 2018