Distributed Systems, Linearizability, Causal Consistency, Sequential Consistency, Cap.
the combination is unavailable”. While the order of operations is preserved individually for both Alex [R1, W1, W2] and Bob [R2, W3, R4], the global order is not preserved i.e. W3 happens before W2 [R1, R2, W1, W3, W2, R3, R4]. Thus a partial order has been established in place of an global order.