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.
File Explorer
Download Latest Version (.zip)- ACM-Reference-Format.bst
- acmart-pacmpl-template.tex
- acmart.cls
- appendix.tex
- author-response.txt
- comment.sty
- convergence.tex
- happens-before.tex
- isabelle.sty
- isabelle.tex
- isabellesym.sty
- isabelletags.sty
- Makefile
- network.tex
- oopsla.tex
- proof-strategy.tex
- proof-structure.tex
- references.bib
- relwork.tex
- rga-example.tex
- rga.tex
- round2.tex
- simple-crdts.tex
- splash-reviews.txt
- root.bib
- root.tex
- counter.ml
- orset.ml
- rga.ml
- Convergence.thy
- Counter.thy
- Network.thy
- Ordered_List.thy
- ORSet.thy
- RGA.thy
- ROOT
- Util.thy
- root.bib
- root.tex
- .merlin
- counter.ml
- Makefile
- network.ml
- orset.ml
- rga.ml
- test.sh
- wrapper.ml
- root.bib
- root.tex
- .merlin
- counter.ml
- Makefile
- network.ml
- orset.ml
- rga.ml
- test.sh
- annotated_proofs.pdf
- Convergence.thy
- Counter.thy
- Network.thy
- Ordered_List.thy
- ORSet.thy
- README.md
- RGA.thy
- ROOT
- Util.thy
- Broadcast.thy
- Convergence.thy
- Counter.thy
- Execution.thy
- Network.thy
- Ordered_List.thy
- ORSet.thy
- RGA.thy
- ROOT
- supplementary.tar.gz
- Util.thy
- beamercolorthememetropolis.sty
- beamerfontthememetropolis.sty
- beamerinnerthememetropolis.sty
- beamerouterthememetropolis.sty
- beamerthememetropolis.sty
- slides.tex
- beamercolorthememetropolis.sty
- beamerfontthememetropolis.sty
- beamerinnerthememetropolis.sty
- beamerouterthememetropolis.sty
- beamerthememetropolis.sty
- prooftree.sty
- slides.tex
- .gitignore
- LICENSE
- README.md
// repository documentation
Was this content helpful?
(0 ratings)