A revisionist history of concurrent separation logic

DOI10.1016/J.ENTCS.2011.09.013MaRDI QIDQ5739348zbMATH OpenOpenAlexWikidataFDO

Authors Stephen Brookes

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.013

zbMATH Keywords

concurrencydenotational semanticsresourcesseparation logicshared memory

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Syntactic control of interference and concurrent separation logic
• CONCUR 2004 - Concurrency Theory
• A semantics for concurrent separation logic
• Precision and the conjunction rule in concurrent separation logic
• Variables as resource for shared-memory programs: semantics and soundness

Cites work

• CONCUR 2004 - Concurrency Theory
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 2090840 (Why is no real title available?)
• Permission accounting in separation logic
• Variables as resource for shared-memory programs: semantics and soundness
• Verifying properties of parallel programs

Cited in

(13)

• A game semantics of concurrent separation logic
• Revisiting concurrent separation logic
• Variables as resource for shared-memory programs: semantics and soundness
• Reverse exchange for concurrency and local reasoning
• Subjective auxiliary state for coarse-grained concurrency
• Temporary read-only permissions for separation logic
• Granularity and concurrent separation logic
• Syntactic control of interference and concurrent separation logic
• Fault-tolerant resource reasoning
• Separation logic and concurrency
• Communicating state transition systems for fine-grained concurrent resources
• Precision and the conjunction rule in concurrent separation logic
• A semantics for concurrent separation logic

This page was built for publication: A revisionist history of concurrent separation logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5739348)