trvedata / crdt-isabelleLinks

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.
73Updated 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

Sorting: