%0 Report
%D 2015
%T Composition of State-based CRDTs
%A Carlos Baquero Moreno
%A Paulo Sérgio Almeida
%A Alcino Cunha
%A Carla Ferreira
%I HASLab and NOVA-LINCS
%X <p>State-based CRDTs are rooted in mathematical structures called join-semilattices (more simply lattices, in this context). These order structures ensure that the replicated states of the defined data types evolve and increase in a partial order in a sufficiently defined way, so as to ensure that all concurrent evolutions can be merged deterministically. In order to build, or understand the building principles, of state-based CRDTs it is necessary to understand the basic building blocks of the support lattices and how lattices can be composed.</p>
%8 05/25
%> https://haslab.uminho.pt/sites/default/files/cbm/files/crdtcompositionreport.pdf