Game Characterizations of Process Equivalences
Abstract elided by the publisher.
Related papers
- Process Equivalence Problems as Energy Games CAV 2023
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- The impact of higher-order state and control effects on local relational reasoning ICFP 2010
- Interaction Equivalence POPL 2025
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- An Abstract Schema for Equivalence-Checking Games VMCAI 2002
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations CPP 2018