75 citations · 89 across the 12 of their papers we have counts for
1 paper · 1 filter
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
Implementing a concurrent data structure typically begins with defining its sequential specification. However, when used \emph{as is}, a nontrivial sequential data structure, such…