Conflict-Free Replicated Data Types
Session guarantees for weakly consistent replicated data