A semantics for concurrent separation logic

Stephen Brookes
[doi] [Google Scholar] [DBLP] [Citeseer]

Theoretical Computer Science 375(1)
Pages 227 - 270
2007
Topic(s): verification
Note(s): permission logic, concurrent separation logic