Vector clocks and CRDT for Riak Source Code Reading Tokyo # 11