Linearizability

Every operation appears to take effect at a single instant between its call and its return — which is why a read never returns a superseded value.