Granularity and Concurrent Separation Logic
From MaRDI portal
Publication:3090832
DOI10.1007/978-3-642-23217-6_15zbMath1343.68059OpenAlexW111224599MaRDI QIDQ3090832
Publication date: 2 September 2011
Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_15
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- A semantics for concurrent separation logic
- Resources, concurrency, and local reasoning
- A Marriage of Rely/Guarantee and Separation Logic
- Parameterized Memory Models and Concurrent Separation Logic
- Footprints in Local Reasoning
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science