OpSets: Sequential Specifications for Replicated Datatypes by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford May 10
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
Partial Semigroups and Convolution Algebras by Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes and Georg Struth Jun 13
Program Construction and Verification Components Based on Kleene Algebra by Victor B. F. Gomes and Georg Struth Jun 18
Kleene Algebras with Domain by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber Apr 12
Kleene Algebra with Tests and Demonic Refinement Algebras by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth Jan 23