Oracle semantics for concurrent separation logic (2008)

by Aquinas Hobor, Andrew W Appel, Francesco Zappa Nardelli
Venue:In Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems, ESOP’08/ETAPS’08