Abstract: Conflict-free Replicated Data Types (CRDTs) are a class of algorithms that allow decentralized editing of documents as data structures in which concurrent operations are commutative, while ...