2000 character limit reached
Conflict-free Replicated Data Types (CRDTs) (1805.06358v1)
Published 16 May 2018 in cs.DC
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.