data structure replicated across a network such that any replica is updatable independently, concurrently and without coordination, and any inconcistencies are algorithmically resolved with replicas’ states guaranteed to eventually converge

We introduce conflict-free replicated data types (CRDTs) and discuss the challenges of maintaining data consistency in distributed environments.