Dominic P. Mulligan

E-Mails 📧

moc.liamelgoog @nagillum.p.cinimod
moc.mra @nagilluM.cinimoD

Entries

2018

OpSets: Sequential Specifications for Replicated Datatypes

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

May 10

2017

The LambdaMu-calculus

by Cristina Matache 📧, Victor B. F. Gomes 📧 and Dominic P. Mulligan 📧

Aug 16

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 📧

Jul 07