Resources, concurrency, and local reasoning

Download PDF
Open Webpage

Peter W. O'Hearn

Published: 2007, Last Modified: 16 May 2025Theor. Comput. Sci. 2007EveryoneRevisionsBibTeXCC 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.