7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski +1
Arguments about correctness of a concurrent data structure are typically carried out by using the notion of linearizability and specifying the linearization points of the data stru…