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.
@article{arxiv.1805.06358,
title = {Conflict-free Replicated Data Types (CRDTs)},
author = {Nuno Preguiça and Carlos Baquero and Marc Shapiro},
journal= {arXiv preprint arXiv:1805.06358},
year = {2018}
}