A Study of CRDTs that do Computation

distributed systems papers