Quiescent consistency, sequential consistency and linearizability

How can we judge if the concurrent execution is correct? the schematics of concurrent consistency.