Relevant work I've done in the past: http://christophermeiklejohn.com/coq/2013/0...

		cmeiklejohn on May 12, 2014 \| parent \| context \| favorite \| on: Roshi: a CRDT system for timestamped events Relevant work I've done in the past: http://christophermeiklejohn.com/coq/2013/06/11/distributed-... Also, see related papers from PaPEC '14: http://dl.acm.org/citation.cfm?id=2596631