Model Independent Order Relations for Processes
Abstract elided by the publisher.
Related papers
- Software Merge: Semantics of Combining Changes to Programs TOPLAS 1994
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST POPL 2018
- Large model constructions for second-order ZF in dependent type theory CPP 2018
- Stream processing with dependency-guided synchronization PPoPP 2022
- The impact of higher-order state and control effects on local relational reasoning JFP 2012
- Data-trace types for distributed stream processing systems PLDI 2019
- Internalizing representation independence with univalence POPL 2021
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019