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.
72Updated 2 years ago

Alternatives and similar repositories for crdt-isabelle:

Users that are interested in crdt-isabelle are comparing it to the libraries listed below