A Marriage of Rely/Guarantee and Separation Logic.

Viktor Vafeiadis, Matthew J. Parkinson

Browse the full CONCUR paper archive.