Algebra, Logic, Locality, Concurrency
No abstract available.
Related papers
- Algebra, Logic, Locality, Concurrency CPP 2011
- Local Reasoning for Global Graph Properties ESOP 2020
- Local Completeness Logic on Kleene Algebra with Tests SAS 2022
- CoLoSL: Concurrent Local Subjective Logic ESOP 2015
- Local algebraic effect theories JFP 2020
- On algebraic abstractions for concurrent separation logics POPL 2021
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types TOPLAS 1989