Linearizability: A correctness Condition for Concurrent Objects

Back to Research-Papers