CRDT: Conflict-free Replicated Data Types

http://hal.inria.fr/docs/00/60/93/99/PDF/RR-7687.pdf

"It leverages simple mathematical properties that ensure absence of conflict, i.e., monotonicity in a semi-lattice and/or commutativity."

https://github.com/ericmoritz/crdt