Resources, concurrency, and local reasoning

Peter W. O'Hearn
[Google Scholar] [DBLP] [Citeseer]

Theoretical computer science 375(1-3)
Elsevier
Pages 271-307
2007
Topic(s): verification
Note(s): permission logic, concurrent separation logic, separation logic