CRDT Bibliography

2006 - Agreeing to Agree - Conflict Resolution for Optimistically Replicated Data
2007 - Designing a Commutative Replicated Data Type
2009 - CRDTs - Consistency without Concurrency Control
2011 - A Comprehensive Study of Convergent and Commutative Replicated Data Types
2011 - Conflict-free Replicated Data Types
2011 - Optimistic Concurrency Control by Melding Trees
2012 - A Lattice-Theoretical Approach to Deterministic Parallelism with Shared State
2012 - An Optimized Conflict-free Replicated Set
2012 - Brief Announcement: Semantics of Eventually Consistent Replicated Sets
2012 - Key-CRDT Stores
2012 - Logic and Lattices for Distributed Programming
2013 - Incremental Stream Processing using Computational Conflict-free Replicated Data Types
2013 - LVars - Lattice-based Data Structures for Deterministic Parallelism
2013 - Optimized OR-Sets Without Ordering Constraints
2013 - Replicated Data Types - Specification, Verification, Optimality
2013 - Specification and Verification of Convergent Replicated Data Types
2013 - The Scalable Commutativity Rule - Designing Scalable Software for Multicore Processors
2013 - Write Fast, Read in the Past - Causal Consistency for Client-side Applications
2014 - Deterministic Threshold Queries of Distributed Data Structures
2014 - Efficient State-based CRDTs by Decomposition
2014 - Formal Specification and Verification of CRDTs
2014 - Freeze After Writing - Quasi-deterministic Parallel Programming with LVars
2014 - Joining Forces - Toward an Unified Account of LVars and CRDTs
2014 - Making Operation-based CRDTs Operation-based
2014 - Taming the Parallel Effect Zoo - Extensible Deterministic Parallelism with LVish
2015 - A Study of CRDTs that do Computations
2015 - Composite Replicated Data Types
2015 - Efficient State-based CRDTs by Delta-Mutation
2015 - Lasp - a Language for Distributed, Eventually Consistent Computations with CRDTs
2015 - Lattice-based Data Structures for Deterministic Parallel and Distributed Programming
2015 - Merging OT and CRDT Algorithms
2015 - Update Consistency for Wait-free Concurrent Objects