Local Proofs for Linear-Time Properties of Concurrent Programs
Abstract elided by the publisher.
Related papers
- Parallel complexity analysis with temporal session types ICFP 2018
- Par means parallel: multiplicative linear logic proofs as concurrent functional programs POPL 2020
- Concurrent Data Structures Linked in Time ECOOP 2017
- Communication as Fair Distribution of Knowledge OOPSLA 1991
- Modular Verification of State-Based CRDTs in Separation Logic ECOOP 2023
- Local Reasoning for Global Graph Properties ESOP 2020
- Checking That Finite State Concurrent Programs Satisfy Their Linear Specification POPL 1985
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025