Conflict-Free Replicated Data Types for Just-Right Consistency

en.wikipedia.org