Oracle semantics for concurrent separation logic (2008)

by A Hobor, A W Appel, F Zappa Nardelli
Venue:In ESOP’08