linearizability

operations appear to execute atomically in a total order consistent with real-time ordering on single objects

“Linearizability is the gold standard for correctness in distributed registers.”