OpSets: Sequential Specifications for Replicated Datatypes
by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford
Martin Kleppmann
2018
2017
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes
by Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan and Alastair R. Beresford