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
Elsevier
Pages 271-307
2007
Topic(s): verification
Note(s): permission logic, concurrent separation logic, separation logic