CRDTs

Detecting message stability with partial memberships

Basic matrix-based technique. Time-travel technique.