From Lamport timestamps and Vector Clocks to Operational Transformation matrices, join-semilattices, and Yjs RGA sequence CRDTs.
Lamport timestamps, Vector clocks, and partial vs total causal ordering in distributed systems.
Centralized serialization matrices, transformation functions, and Google Docs concurrency.
Join-semilattices, Strong Eventual Consistency, and Commutative/Associative/Idempotent merges.
G-Counters, PN-Counters, Last-Write-Wins registers, and Observed-Removed (OR) Sets.
Replicated Growable Arrays (RGA), Yjs YATA, fractional indexing, and collaborative rich text.