C. Baquero and F. Moura, Specification of convergent abstract data types for autonomous mobile computing, 1997.

S. Burckhardt and D. Leijen, Semantics of concurrent revisions. Programming Languages and Systems, pp.116-135, 2011.

G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman et al., Dynamo: Amazon's highly available key-value store, Symp. on Op. Sys. Principles (SOSP), volume 41 of Operating Systems Review Assoc. for Computing Machinery, pp.205-220, 2007.

S. Delaët, B. Ducourthial, and S. Tixeuil, Self-stabilization with R-operators revisited. Self- Stabilizing Systems, pp.68-80, 2005.

A. J. Demers, D. H. Greene, C. Hauser, W. Irish, and J. Larson, Epidemic algorithms for replicated database maintenance, Symp. on Principles of Dist. Comp. (PODC), pp.1-12, 1987.
DOI : 10.1145/43921.43922

B. Ducourthial, r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks, Int. Conf. on Stabilization, Safety, and Security of Distributed Systems (SSS), pp.281-295, 2007.
DOI : 10.1007/978-3-540-76627-8_22

C. A. Ellis and S. J. Gibbs, Concurrency control in groupware systems, Int. Conf. on the Mgt. of Data (SIGMOD) Assoc. for Computing Machinery, pp.399-407, 1989.

S. Gilbert and N. Lynch, Brewer's conjecture and the feasibility of consistent, available, partitiontolerant web services, pp.51-59, 2002.

R. Paul, R. H. Johnson, and . Thomas, The maintenance of duplicate databases, Internet Request for Comments RFC Information Sciences Institute, vol.677, 1976.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

F. Mattern, Virtual time and global states of distributed systems, In Int. W. on Parallel and Distributed Algorithms, pp.215-226, 1989.

G. Oster, P. Urso, P. Molli, and A. Imine, Proving correctness of transformation functions in collaborative editing systems, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071213

K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers, Flexible update propagation for weakly consistent replication, Symp. on Op. Sys. Principles (SOSP), pp.288-301, 1997.

N. Preguiça, J. M. Marquès, M. Shapiro, and M. Leeia, A Commutative Replicated Data Type for Cooperative Editing, 2009 29th IEEE International Conference on Distributed Computing Systems, pp.395-403, 2009.
DOI : 10.1109/ICDCS.2009.20

N. Preguiça, M. Shapiro, and C. Matheson, Semantics-Based Reconciliation for Collaborative and Mobile Environments, Int. Conf. on Coop. Info. Sys. (CoopIS), volume 2888 of Lecture Notes in Comp. Sc, pp.38-55, 2003.
DOI : 10.1007/978-3-540-39964-3_5

H. Roh, M. Jeon, J. Kim, and J. Lee, Replicated abstract data types: Building blocks for collaborative applications, Journal of Parallel and Distributed Computing, vol.71, issue.3, 2011.
DOI : 10.1016/j.jpdc.2010.12.006

Y. Saito and M. Shapiro, Optimistic replication, ACM Computing Surveys, vol.37, issue.1, pp.42-81, 2005.
DOI : 10.1145/1057977.1057980

URL : https://hal.archives-ouvertes.fr/inria-00444768

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, A comprehensive study of Convergent and Commutative Replicated Data Types, Institut Nat. de la Recherche en Informatique et Automatique (INRIA), 2011.
URL : https://hal.archives-ouvertes.fr/inria-00555588

D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer et al., Managing update conflicts in Bayou, a weakly connected replicated storage system, 15th Symp. on Op. Sys. Principles (SOSP), pp.172-182, 1995.

W. Vogels, Eventually Consistent, Queue, vol.6, issue.6, pp.14-19, 2008.
DOI : 10.1145/1466443.1466448

S. Weiss, P. Urso, and P. Molli, Logoot-Undo: Distributed Collaborative Editing System on P2P Networks, IEEE Transactions on Parallel and Distributed Systems, vol.21, issue.8, pp.1162-1174, 2010.
DOI : 10.1109/TPDS.2009.173

URL : https://hal.archives-ouvertes.fr/hal-00450416

T. J. Gene, A. J. Wuu, and . Bernstein, Efficient solutions to the replicated log and dictionary problems, Symp. on Principles of Dist. Comp. (PODC), pp.233-242, 1984.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399