Data structures in the multicore age
Linearizability: a correctness condition for concurrent objects