<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paulo Sérgio Almeida</style></author><author><style face="normal" font="default" size="100%">Ali Shoker</style></author><author><style face="normal" font="default" size="100%">Carlos Baquero Moreno</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Efficient State-based CRDTs by Delta-Mutation</style></title><secondary-title><style face="normal" font="default" size="100%">In the Proceedings of the International Conference on NETworked sYStems}</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">NETYS'15</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year><pub-dates><date><style  face="normal" font="default" size="100%">13 May</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/ashoker/files/deltacrdt.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Agadir, Morocco</style></pub-location><volume><style face="normal" font="default" size="100%">9466</style></volume><abstract><style face="normal" font="default" size="100%">&lt;p&gt;CRDTs are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through disseminating the entire state, that may be large, and merging it to other replicas; whereas operation-based CRDTs disseminate operations (i.e., small states) assuming an exactly-once reliable dissemination layer. We introduce Delta State Conflict-Free Replicated Datatypes (δ-CRDT) that can achieve the best of both worlds: small messages with an incremental nature, as in operation-based CRDTs, disseminated over unreliable communication channels, as in traditional state-based CRDTs. This is achieved by defining δ-mutators to return a delta-state, typically with a much smaller size than the full state, that is joined to both: local and remote states. We introduce the δ-CRDT framework, and we explain it through establishing a correspondence to current state-based CRDTs. In addition, we present an anti-entropy algorithm that ensures causal consistency, and we introduce two δ-CRDT specifications of well-known replicated datatypes.&lt;/p&gt;
</style></abstract></record></records></xml>