7 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Ahmed Bouajjani, Michael Emmi, Constantin Enea +1
Linearizability is the standard correctness criterion concurrent data structures such as stacks and queues. It allows to establish observational refinement between a concurrent imp…