Conflict-free Replicated Data Types
“Монады и полурешётки для прозрачной синхронизации состояний в распределённой системе”
