Distributed Systems, Consistency.
be A then B and not B then A. Bayou provides Causal+ consistency. Example 4: Example 5: In Example 5: W(x=1) and W(x=2) are causally related. Hence correct reading order of operations will be: r(x) = 1, r(x) = 2 Example 6: In Example 6: W(2) and W(3) are concurrent hence following reads are