Sciweavers

CONCUR
2004
Springer

112views Distributed And Parallel Com...» more CONCUR 2004»

14 years 5 months ago

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.

Peter W. O'Hearn

claim paper

Read More »