Comp 322: Fundamentals of Parallel Programming Module 2: Concurrency
Linearizability: a correctness condition for concurrent objects