Conflict-Free Replicated Data Types
Transactional storage for geo-replicated systems