Syntactic control of interference and concurrent separation logic

DOI10.1016/J.ENTCS.2012.08.007MaRDI QIDQ3178275zbMATH OpenOpenAlexWikidataFDO

Authors Stephen Brookes

Publication date 8 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.2012.08.007

zbMATH Keywords

concurrencypermissionsresourcesseparation logicshared memory

Mathematics Subject Classification ID

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

Recommendations

• A revisionist history of concurrent separation logic
• Syntactic control of interference for separation logic
• CONCUR 2004 - Concurrency Theory
• A semantics for concurrent separation logic
• Variables as resource for shared-memory programs: semantics and soundness

Cites work

• A revisionist history of concurrent separation logic
• scientific article; zbMATH DE number 2090840 (Why is no real title available?)
• Permission accounting in separation logic
• Resources, concurrency, and local reasoning
• Syntactic control of interference for separation logic
• Variables as resource for shared-memory programs: semantics and soundness
• Verifying properties of parallel programs

Cited in

(10)

• Decidability and syntactic control of interference
• Variables as resource for shared-memory programs: semantics and soundness
• Syntactic control of interference for separation logic
• Temporary read-only permissions for separation logic
• Independence and concurrent separation logic
• A Marriage of Rely/Guarantee and Separation Logic
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• A revisionist history of concurrent separation logic
• On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
• \textsc{SecCSL}: security concurrent separation logic

This page was built for publication: Syntactic control of interference and concurrent separation logic

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