Not registered as user yet

Name: Alastair R. Beresford

Affiliation: University of Cambridge, UK

SPLASH 2017 Activities

• Author of Verifying Strong Eventual Consistency in Distributed Systems within the OOPSLA-track in SPLASH 2017
• Show activities from other conferences