On Quasi-Open Bisimulation
No abstract available.
Related papers
- Open Bisimulation for the Concurrent Constraint Pi-Calculus ESOP 2008
- Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques APLAS 2015
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- A bisimulation for dynamic sealing POPL 2004
- A polymorphic modal type system for lisp-like multi-staged languages POPL 2006
- Effectful Normal Form Bisimulation ESOP 2019
- Quasi-Linearizability is Undecidable APLAS 2015
- QUASY: Quantitative Synthesis Tool TACAS 2011