26 citations · 26 across the 1 of their papers we have counts for
1 paper
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,…