1 citations · 1 across the 1 of their papers we have counts for
1 paper
Brijesh Dongol, John Derrick
Linearisability has become the standard correctness criterion for concurrent data structures, ensuring that every history of invocations and responses of concurrent operations has…