Verifying Strong Eventual Consistency in Distributed Systems | Gomes, Kleppmann, Mulligan, Beresford

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

Mentions

  • Java
  • JavaScript
  • Ruby
  • OCaml
  • Conflict-Free Replicated Data Types (CRDT)
  • Kafka
  • ZooKeeper

Related

Comments are closed.