Resources, Concurrency and Local Reasoning

Download PDF
Open Webpage

Peter W. O'Hearn

Published: 2004, Last Modified: 16 May 2025CONCUR 2004EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.