Alastair R. Beresford

 

Entries

2018
May 10: OpSets: Sequential Specifications for Replicated Datatypes

 

2017
July 7: A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes