Before revision:  In prior work, we have revealed that CRDT is like OT in following the same general transformation approach and CRDT is not natively commutative for concurrent operations in co-editors, which helps to clarify what CRDT really is and is not for co-editors. In this article , we reveal OT and CRDT differences in correctness and complexity by dissecting and examining representative OT and CRDT solutions.
After revision:  In prior work, we have made important discoveries about OT and CRDT, and revealed facts and evidences that refute CRDT claims over OT on all accounts. These discoveries help explain the underlying reasons for the choice between OT and CRDT in the real world. We report these results in a series of three articles. In the second article of this series , we reveal OT and CRDT differences in correctness and complexity by dissecting and examining representative OT and CRDT solutions.