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.
// repository documentation
Was this content helpful?
โ 0(0 ratings)
Recent Feedback
Download README
Do you want to download the README.md file for bitgreenold?