9 citations · 29 across the 14 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…