41 citations · 45 across the 4 of their papers we have counts for
1 paper · 1 filter
Alex Horn, Daniel Kroening
Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality princi…