Distributed Data Structures

Overview

An attempt at modeling various Lattices and CRDTs in Coq and Haskell.

References

• Conway, Marczak, Alvaro, Hellerstein, Maier, Logic and Lattices in Distributed Programming
• Shapiro, Preguiça, Baquero, Zawirski, A comprehensive study of Convergent and Commutative Replicated Data Types

Copyright

Copyright (C) 2013 Christopher Meiklejohn.