O
opsets
"OpSets: Sequential Specifications for Replicated Datatypes" and "Interleaving anomalies in collaborative text editors"
"OpSets: Sequential Specifications for Replicated Datatypes" and "Interleaving anomalies in collaborative text editors"