Granularity and concurrent separation logic

DOI10.1007/978-3-642-23217-6_15MaRDI QIDQ3090832zbMATH OpenOpenAlexFDO

Authors Jonathan Hayman

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

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

• Independence and concurrent separation logic
• A semantics for concurrent separation logic
• CONCUR 2004 - Concurrency Theory
• Fine-grained concurrency with separation logic
• A revisionist history of concurrent separation logic

Cites work

• A grainless semantics for parallel programs with shared mutable data
• A Marriage of Rely/Guarantee and Separation Logic
• A semantics for concurrent separation logic
• Footprints in Local Reasoning
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• Parameterized Memory Models and Concurrent Separation Logic
• Resources, concurrency, and local reasoning

Cited in

(4)

• Independence and concurrent separation logic
• scientific article; zbMATH DE number 1231462 (Why is no real title available?)
• A separation logic for refining concurrent objects
• Fine-grained concurrency with separation logic

This page was built for publication: Granularity and concurrent separation logic

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