Linearizability: A correctness Condition for Concurrent Objects
Back to Research-Papers