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