Conflict-free Replicated Data Types Coordination-free strong eventual consistency for replicated state