Martin Kleppmann

OpSets: Sequential Specifications for Replicated Datatypes

by Martin Kleppmann 📧, Victor B. F. Gomes 📧, Dominic P. Mulligan 📧 and Alastair R. Beresford 📧

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 📧