Modular Reasoning about Separation of Concurrent Data Structures.

Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson

Browse the full ESOP paper archive.