Victor B. F. Gomes

Homepages 🌐

• http://www.dcs.shef.ac.uk/~victor

E-Mails 📧

• ku.ca.mac.lc @semog.rotciv
• moc.liamg @gfsegrobrotciv
• ku.ca.dleiffehs @1semogarierrefsegrobv

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

Partial Semigroups and Convolution Algebras

by Brijesh Dongol 📧, Victor B. F. Gomes 📧, Ian J. Hayes 📧 and Georg Struth 📧

Jun 13

2016

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

2015

Residuated Lattices

by Victor B. F. Gomes 📧 and Georg Struth 📧

Apr 15

2014

Kleene Algebra with Tests and Demonic Refinement Algebras

by Alasdair Armstrong, Victor B. F. Gomes 🌐 and Georg Struth 🌐

Jan 23