113 citations · 491 across the 32 of their papers we have counts for
1 paper · 1 filter
Alexey Gotsman, Hongseok Yang
Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and its client…