P. Alvaro, N. Conway, J. Hellerstein, and W. Marczak, Consistency analysis in Bloom: a CALM and collected approach, Biennial Conf. on Innovative DataSystems Research (CIDR), 2011.

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

C. Baquero and F. Moura, Using structural characteristics for autonomous operation, ACM SIGOPS Operating Systems Review, vol.33, issue.4, pp.90-96, 1999.
DOI : 10.1145/334598.334614

L. Benmouffok, J. Busca, J. M. Marquès, M. Shapiro, P. Sutra et al., Telex: A semantic platform for cooperative application development, Conf. Française sur les Systèmes d'Exploitation (CFSE), 2009.
URL : https://hal.archives-ouvertes.fr/inria-00444792

K. Birman, G. Chockler, and R. Van-renesse, Toward a cloud computing research agenda, ACM SIGACT News, vol.40, issue.2, pp.68-80, 2009.
DOI : 10.1145/1556154.1556172

E. Brewer, A certain freedom, Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC '10, 2010.
DOI : 10.1145/1835698.1835701

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989.
DOI : 10.1145/63334.63337

V. Tushar-deepak-chandra, S. Hadzilacos, and . Toueg, The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996.
DOI : 10.1145/234533.234549

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 1990.
DOI : 10.1017/CBO9780511809088

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.

G. Dennis, R. Seater, D. Rayside, and D. Jackson, Automating commutativity analysis at the design level, Int. Symp. on Software Testing and Analysis (ISSTA), pp.165-174, 2004.

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.

J. Gray, P. Helland, O. Patrick, D. Neil, and . Shasha, The dangers of replication and a solution, Int. Conf. on the Mgt. of Data (SIGMOD), pp.173-182, 1996.

J. Gray and L. Lamport, Consensus on transaction commit, ACM Transactions on Database Systems, vol.31, issue.1, pp.133-160, 2006.
DOI : 10.1145/1132863.1132867

P. Helland and D. Campbell, Building on quicksand, Biennial Conf. on Innovative DataSystems Research (CIDR), 2009.

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

M. Herlihy and J. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972

J. H. Howard, M. L. Kazar, S. G. Menees, D. A. Nichols, M. Satyanarayanan et al., Scale and performance in a distributed file system, ACM Transactions on Computer Systems, vol.6, issue.1, pp.51-81, 1988.
DOI : 10.1145/35037.35059

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

A. D. Joseph, A. F. Delespinasse, J. A. Tauber, D. K. Gifford, and M. F. Kaashoek, Rover: a toolkit for mobile information access, Symp. on Op. Sys. Principles (SOSP), pp.156-171, 1995.

J. James, M. Kistler, and . Satyanarayanan, Disconnected operation in the Coda file system, ACM Trans. on Comp. Sys. (TOCS), vol.10, issue.5, pp.3-25, 1992.

J. Klingemann and T. Tesch, Semantics-based transaction management for cooperative applications, In Int. W. on Advanced Trans. Models and Arch, pp.234-252, 1996.

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

M. Le?ia, N. Preguiça, and M. Shapiro, Consistency without concurrency control in large, dynamic systems, SOSP W. on Large Scale Distributed Systems and Middleware (LADIS)SIGOPS), Assoc. for Comp. Machinery, pp.29-34, 2009.
DOI : 10.1145/1773912.1773921

R. Li and D. Li, Commutativity-based concurrency control in groupware, Int. Conf. on Collab . Comp.: Networking, Apps. and Worksharing (CollaborateCom), p.10, 2005.

S. Martin, P. Urso, and S. Weiss, Scalable XML collaborative editing with undo (short paper), Int. Conf. on Coop. Info. Sys. (CoopIS), 2010.
URL : https://hal.archives-ouvertes.fr/hal-00527234

E. O. Patrick and . Neil, The escrow transactional method, Trans. on Database Systems, vol.11, pp.405-430, 1986.

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

G. Oster, P. Urso, P. Molli, and A. Imine, Data consistency for P2P collaborative editing, Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work , CSCW '06, pp.259-268, 2006.
DOI : 10.1145/1180875.1180916
URL : https://hal.archives-ouvertes.fr/inria-00108523

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.
DOI : 10.1145/269005.266711
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.832

N. Preguiça, J. M. Marquès, M. Shapiro, and M. Le?ia, 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

P. Reiher, J. S. Heidemann, D. Ratner, G. Skinner, and G. J. Popek, Resolving file conflicts in the Ficus file system, Usenix Conf. Usenix, 1994.

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

H. Roh, J. Kim, and J. Lee, How to design optimistic operations for peer-to-peer replication, Proceedings of the 9th Joint Conference on Information Sciences (JCIS), 2006.
DOI : 10.2991/jcis.2006.245

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

R. Schwarz and F. Mattern, Detecting causal relationships in distributed computations: In search of the holy grail, Distributed Computing, vol.9, issue.3, pp.149-174, 1994.
DOI : 10.1007/BF02277859

M. Serafini, D. Dobre, M. Majuntke, P. Bokor, and N. Suri, Eventually linearizable shared objects, Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC '10, pp.95-104, 2010.
DOI : 10.1145/1835698.1835723
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.6413

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