A study of CRDTs that do computations

David Navalho, Sérgio Duarte, Nuno Preguiça

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


A CRDT is a data type specially designed to allow multiple instances to be replicated and modified without coordination, while providing an automatic mechanism to merge concurrent updates that guarantee eventual consistency. In this paper we present a brief study of computational CRDTs, a class of CRDTs whose state is the result of a computation over the executed updates. We propose three generic designs that reduce the amount of information that each replica maintains and propagates for synchronizations. For each of the designs, we discuss the properties that the function being computed needs to satisfy.
Original languageEnglish
Title of host publicationProceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015
Publication statusPublished - 1 Jan 2015


  • Amount of information
  • Automatic mechanisms
  • Concurrent update
  • Data type
  • Eventual consistency
  • Generic design
  • Multiple instances


Dive into the research topics of 'A study of CRDTs that do computations'. Together they form a unique fingerprint.

Cite this