Concurrent Separation Logic and Operational Semantics
From MaRDI portal
Publication:5739365
DOI10.1016/j.entcs.2011.09.029zbMath1342.68104OpenAlexW2166666675WikidataQ113318216 ScholiaQ113318216MaRDI QIDQ5739365
Publication date: 15 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.029
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Automated Verification of Parallel Nested DFS ⋮ A game semantics of concurrent separation logic ⋮ Ghost signals: verifying termination of busy waiting ⋮ Revisiting concurrent separation logic ⋮ Verifying a concurrent garbage collector using a rely-guarantee methodology ⋮ Step-Indexed Kripke Model of Separation Logic for Storable Locks ⋮ Concurrent Separation Logic and Operational Semantics ⋮ Verifying a concurrent garbage collector with a rely-guarantee methodology ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A semantics for concurrent separation logic
- Resources, concurrency, and local reasoning
- Fairness, Resources, and Separation
- Local Reasoning for Storable Locks and Threads
- Independence and concurrent separation logic
- A Marriage of Rely/Guarantee and Separation Logic
- Modular Safety Checking for Fine-Grained Concurrency
- Permission accounting in separation logic
- Expressive modular fine-grained concurrency specification
- Oracle Semantics for Concurrent Separation Logic
- Precision and the Conjunction Rule in Concurrent Separation Logic
- Concurrent Separation Logic and Operational Semantics
This page was built for publication: Concurrent Separation Logic and Operational Semantics
