Limitations of Highly-Available Eventually-Consistent Data Stores
Conflict-Free Replicated Data Types