Searching for "CONCUR 2007 - Concurrency Theory" – sorted by Relevance.
-
data structure (abstract of invited lecture). In Fritz Henglein,
- /guarantee and separation logic. In CONCUR 2007 — Concurrency Theory, Proceedings of the 18th International Conference
- Add To MetaCart

