Searching for "Resources, Concurrency and Local Reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Resources, Concurrency and Local Reasoning
by Peter W. O'Hearn, Peter W. O’hearn — 2004 — Theoretical Computer Science
…Resources, Concurrency and Local Reasoning Peter W. O’Hearn Queen Mary, University of London…
Cited by 50 (2 self) – Add To MetaCart

data structure (abstract of invited lecture). In Fritz Henglein,
by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
… 2005. [25] Peter W. O’Hearn. Resources, concurrency and local reasoning. In CONCUR 2004 — Concurrency…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB