Oracle Semantics for Concurrent Separation Logic.

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli

Browse the full ESOP paper archive.