Conflict-free Replicated Data Types (CRDTs)
arXiv:1805.06358 · doi:10.1007/978-3-319-63962-8\_185-1
Abstract
A conflict-free replicated data type (CRDT) is an abstract data type, with a well defined interface, designed to be replicated at multiple processes and exhibiting the following properties: (1) any replica can be modified without coordinating with another replicas; (2) when any two replicas have received the same set of updates, they reach the same state, deterministically, by adopting mathematically sound rules to guarantee state convergence.