Searching for "CONCUR 2007 - Concurrency Theory" – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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
…/guarantee and separation logic. In CONCUR 2007 — Concurrency Theory, Proceedings of the 18th International Conference…
Add To MetaCart

Showing 1 through 1.

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