Searching for "Deriving linearizable fine-grained concurrent objects." – sorted by Relevance.
-
Deriving linearizable fine-grained concurrent objects
- Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev IBM Research Eran Yahav IBM
- Cited by 1 (0 self) – Add To MetaCart

