Sciweavers

6 search results - page 2 / 2
» CONCUR 2012
Sort
View
CONCUR
2012
Springer
12 years 8 hour ago
Linearizability with Ownership Transfer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
Alexey Gotsman, Hongseok Yang