A Revisionist History of Concurrent Separation Logic

DOI10.1016/j.entcs.2011.09.013zbMath1342.68074OpenAlexW1970558816WikidataQ113318235 ScholiaQ113318235MaRDI QIDQ5739348

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

denotational semanticsconcurrencyshared memoryresourcesseparation logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) 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 (3)

A game semantics of concurrent separation logic ⋮ Syntactic Control of Interference and Concurrent Separation Logic ⋮ Revisiting concurrent separation logic

Cites Work

• Verifying properties of parallel programs
• Permission accounting in separation logic
• CONCUR 2004 - Concurrency Theory
• CONCUR 2004 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Revisionist History of Concurrent Separation Logic