A semantics for concurrent separation logic (2004)

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