win and sin: Predicate Transformers for Concurrency
No abstract available.
Related papers
- How to Win First-Order Safety Games VMCAI 2020
- The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency POPL 2022
- Predicate Path Expressions POPL 1979
- Underapproximating Predicate Transformers SAS 2006
- Impredicative Concurrent Abstract Predicates ESOP 2014
- Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers ECOOP 1997
- A predicate transformer semantics for effects (functional pearl) ICFP 2019
- Probabilistic Predicate Transformers TOPLAS 1996