State-based CRDT infrastructure - Miguel Boaventura Rodrigues (2024)