13 citations · 52 across the 27 of their papers we have counts for
1 paper · 2 filters
Brijesh Dongol, John Derrick
Linearisability has become the standard safety criterion for concurrent data structures ensuring that the effect of a concrete operation takes place after the execution some atomic…