Victor B. F. Gomes

OpSets: Sequential Specifications for Replicated Datatypes
by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford

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

Partial Semigroups and Convolution Algebras
by Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes and Georg Struth

Program Construction and Verification Components Based on Kleene Algebra
by Victor B. F. Gomes and Georg Struth

Kleene Algebras with Domain
by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber

Residuated Lattices
by Victor B. F. Gomes and Georg Struth

Kleene Algebra with Tests and Demonic Refinement Algebras
by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth