Lock-free linked lists and skip lists
Linearizability: a correctness condition for concurrent objects