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

N. Bjørner, Models and Software Model Checking of a Distributed File Replication System, Formal Methods and Hybrid Real-Time Systems, pp.1-23, 2007.
DOI : 10.1007/978-3-540-75221-9_1

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.

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, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, pp.51-59, 2002.
DOI : 10.1145/564585.564601

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.

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

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.

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¸tiale¸tia, 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

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

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

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

M. Shapiro and N. Preguiça, Designing a commutative replicated data type Rapport de recherche RR-6320, Recherche en Informatique et Automatique (INRIA), 2007.

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.