Concept: Linearizability