linearizability explained - correctness condition on concurrency