13 citations · 52 across the 27 of their papers we have counts for
1 paper · 2 filters
Brijesh Dongol, Lindsay Groves
Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such…