Linearizability: A correctness condition for concurrent objectsmuratbuffalo.blogspot.com53 pointsmatt_d2 years ago