9 citations · 29 across the 14 of their papers we have counts for
1 paper · 1 filter
Brijesh Dongol, John Derrick
Linearizability has become the key correctness criterion for concurrent data structures, ensuring that histories of the concurrent object under consideration are consistent, where…