A semantics for concurrent separation logic (2004)

by Stephen Brookes
Venue:Theoretical Computer Science
Citations:78 - 1 self