30 TP1 and TP2

We need convergence at quiescence even though operations are executed in different orders at different sites. Specifically we require properties TP1 and TP2.

Properties required to achieve convergence

TP1

∀ O₁,O₂, S + [O₁ IT(O₂, O₁)] = S + [ O₂ IT(O₁, O₂) ]

TP2

∀ O₁,O₂,O₃, IT( IT( O₃, O₁), IT(O₂, O₁)) = IT( IT( O₃, O₂), IT(O₁, O₂))