Detecting message stability with partial memberships Oct 20, 2018 1 min read Basic matrix-based technique. Time-travel technique. causality CRDTs Vitor Enes