@article {2294, title = {Composition of State-based CRDTs}, year = {2015}, month = {05/25}, institution = {HASLab and NOVA-LINCS}, abstract = {
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.
}, attachments = {https://haslab.uminho.pt/sites/default/files/cbm/files/crdtcompositionreport.pdf}, author = {Carlos Baquero Moreno and Paulo S{\'e}rgio Almeida and Alcino Cunha and Carla Ferreira} }