Burckhardt, Sebastian, Fahndrich, Manuel, Leijen, Daan, Wood, Benjamin. Cloud Types for Eventual Consistency. In ECOOP 2012, Object-Oriented Programming. Volume 7313 of Lecture Notes in Computer Science, pages 283-307, Springer Berlin / Heidelberg, 2012.
Abstract is missing.