| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Victor B. F. Gomes
| Website: http://www.dcs.shef.ac.uk/~victor |
Entries
| 2018 |
| May 10: OpSets: Sequential Specifications for Replicated Datatypes |
| 2017 |
| August 16: The LambdaMu-calculus |
| July 7: A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes |
| June 13: Partial Semigroups and Convolution Algebras |
| 2016 |
| June 18: Program Construction and Verification Components Based on Kleene Algebra |
| April 12: Kleene Algebras with Domain |
| 2015 |
| April 15: Residuated Lattices |
| 2014 |
| January 23: Kleene Algebra with Tests and Demonic Refinement Algebras |