Searching for "A Semantics for Concurrent Separation Logic." – 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.

A semantics for concurrent separation logic
by Stephen Brookes — 2004 — Theoretical Computer Science
…A semantics for concurrent separation logic Stephen Brookes Carnegie Mellon University Department…
Cited by 31 (1 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
…-Verlag. [17] John C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings…
Add To MetaCart

Showing 1 through 2.

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