Resources, Concurrency, and Local Reasoning (Abstract).

Peter W. O'Hearn

Browse the full ESOP paper archive.