Composing and Decomposing Op-Based CRDTs with Semidirect Products

Matthew Weidner, Heather Miller, Christopher Meiklejohn

Operation-based Conflict-free Replicated Data Types (CRDTs) are eventually consistent replicated data types that automatically resolve conflicts between concurrent operations. Op-b…