26 citations · 29 across the 2 of their papers we have counts for
1 paper · 1 filter
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin +1
Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on the identification of the so-called linearization points. Regrettably,…