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