The difference between operational transformations (OTs) and CRDTs Mon May 9, 2022 algorithms crdt operational transformations