Correctness Condition

A formal criterion that defines what it means for a concurrent algorithm or data structure to behave correctly. Because concurrent executions interleave operations from multiple processes, "correctness" must be stated precisely.

Common correctness conditions, ordered from strongest to weakest: linearizability, sequential consistency, quiescent consistency.