"CRDTs: Consistency without concurrency control" http://goo.gl/Ouu4sc • "A comprehensive study of Convergent and Commutative Replicated Data Types" http://goo.gl/I1alMi • "A Lattice-Theoretical Approach to Deterministic Parallelism with Shared State" http://goo.gl/cdv1UK
types • CRDT library "knockbox" (dead?) • not that much done for distributed computing (riak_core in Erlang) • one can use Akka/Pulsar • aphyr/jepsen for testing partition tolerance • a big room for experiments