Mixed Transition Systems Revisited
Abstract elided by the publisher.
Related papers
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- Model Checking C/C++ with Mixed-Size Accesses POPL 2025
- Birrell's distributed reference listing revisited TOPLAS 2005
- Transitioning from structural to nominal code with efficient gradual typing OOPSLA 2021
- Gradual session types ICFP 2017
- Revisiting Iso-Recursive Subtyping TOPLAS 2022
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Revisiting iso-recursive subtyping OOPSLA 2020