Distributed Systems, Linearizability, Causal Consistency, Sequential Consistency, Cap.
[R4] Alex’s blocking of mobile phone and the mobile case are successful. Alex sees "Proceed to pay" The total order of operations i.e. [R1, R2, W1, W2, W3, R3, R4] is preserved for both Alex and Bob Sequence of actions leading to sequential consistency (Read)R1. Alex arrives on Google Pixel 2