TSO-CC: Consistency directed cache coherence for TSO

State Transition Table

A document containing the detailed state transition table of the full TSO-CC protocol (with all optimizations) can be found here.