Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan,, Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In Proceedings of OOPSLA? and also Proceedings of the ACM on Programming Languages (PACMPL), 2017. arXiv”1707.01747
Martin Kleppmann, Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. In IEEE Transactions on Parallel and Distributed Systems (TPDS), 2017. arXiv:1608.03960
- Conflict-Free Replicated Data Types (CRDT)
- TRVE DATA, Digital Technology Group, Cambridge University.
- trvedata, hosted at GitHub
<quote>Copyright 2015-2016, University of Cambridge. Licensed under the Apache License, Version 2.0 (see
- Martin Kleppmann; Announcing TRVE DATA: Placing a bit less trust in the cloud; In His Blog; 2016-04-15.