CRDT Survey, Part 2: Semantic Techniques
mattweidner.com