OpSets: Sequential Specifications for Replicated Datatypes
by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford
Dominic P. Mulligan
2018
2017
The LambdaMu-calculus
by Cristina Matache, Victor B. F. Gomes and Dominic P. Mulligan
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