## 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