Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
Linearizability: a correctness condition for concurrent objects