zerosign / crdt-isabelle Goto Github PK
View Code? Open in Web Editor NEWThis project forked from trvedata/crdt-isabelle
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
Home Page: https://arxiv.org/abs/1707.01747
License: Apache License 2.0