CoLoSL: Concurrent Local Subjective Logic
No abstract available.
DOI 10.1007/978-3-662-46669-8_29
Related papers
- Subjective auxiliary state for coarse-grained concurrency POPL 2013
- Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity ESOP 2015
- Algebra, Logic, Locality, Concurrency APLAS 2011
- Algebra, Logic, Locality, Concurrency CPP 2011
- Par means parallel: multiplicative linear logic proofs as concurrent functional programs POPL 2020
- Generalized Algorithmic Debugging and Testing PLDI 1991
- Reasoning over Permissions Regions in Concurrent Separation Logic CAV 2020
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages TOPLAS 2024