Read news on concurrent objects with our app.
Read more in the app
Linearizability: A correctness condition for concurrent objects