16.1 Convergent Data Structure
Seif Haridi · 7:30
The lecture formally defines state-based Conflict-free Replicated Data Types (CRDTs) and walks through a grow-only counter example. Each replica's state sits in a join semi-lattice, updates only move "up," and replica...