Independence Abstractions and Models of Concurrency
Abstract elided by the publisher.
Related papers
- A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model ESOP 2025
- Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants POPL 2026
- When Concurrency Matters: Behaviour-Oriented Concurrency OOPSLA 2023
- Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes TOPLAS 1988
- Layered and object-based game semantics POPL 2022
- Cosmo: a concurrent separation logic for multicore OCaml ICFP 2020
- On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study) TACAS 2025
- OrcO: a concurrency-first approach to objects OOPSLA 2016