Consistency analysis in Bloom: a CALM and collected approach, Biennial Conf. on Innovative DataSystems Research (CIDR), 2011. ,
Specification of convergent abstract data types for autonomous mobile computing, 1997. ,
Using structural characteristics for autonomous operation, ACM SIGOPS Operating Systems Review, vol.33, issue.4, pp.90-96, 1999. ,
DOI : 10.1145/334598.334614
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
Toward a cloud computing research agenda, ACM SIGACT News, vol.40, issue.2, pp.68-80, 2009. ,
DOI : 10.1145/1556154.1556172
A certain freedom, Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC '10, 2010. ,
DOI : 10.1145/1835698.1835701
Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989. ,
DOI : 10.1145/63334.63337
The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996. ,
DOI : 10.1145/234533.234549
Introduction to Lattices and Order, 1990. ,
DOI : 10.1017/CBO9780511809088
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. ,
Automating commutativity analysis at the design level, Int. Symp. on Software Testing and Analysis (ISSTA), pp.165-174, 2004. ,
Concurrency control in groupware systems, Int. Conf. on the Mgt. of Data (SIGMOD) Assoc. for Computing Machinery, pp.399-407, 1989. ,
Brewer's conjecture and the feasibility of consistent, available, partitiontolerant web services, pp.51-59, 2002. ,
The dangers of replication and a solution, Int. Conf. on the Mgt. of Data (SIGMOD), pp.173-182, 1996. ,
Consensus on transaction commit, ACM Transactions on Database Systems, vol.31, issue.1, pp.133-160, 2006. ,
DOI : 10.1145/1132863.1132867
Building on quicksand, Biennial Conf. on Innovative DataSystems Research (CIDR), 2009. ,
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
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
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
The maintenance of duplicate databases, Internet Request for Comments RFC Information Sciences Institute, vol.677, 1976. ,
Rover: a toolkit for mobile information access, Symp. on Op. Sys. Principles (SOSP), pp.156-171, 1995. ,
Disconnected operation in the Coda file system, ACM Trans. on Comp. Sys. (TOCS), vol.10, issue.5, pp.3-25, 1992. ,
Semantics-based transaction management for cooperative applications, In Int. W. on Advanced Trans. Models and Arch, pp.234-252, 1996. ,
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
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
Commutativity-based concurrency control in groupware, Int. Conf. on Collab . Comp.: Networking, Apps. and Worksharing (CollaborateCom), p.10, 2005. ,
Scalable XML collaborative editing with undo (short paper), Int. Conf. on Coop. Info. Sys. (CoopIS), 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00527234
The escrow transactional method, Trans. on Database Systems, vol.11, pp.405-430, 1986. ,
Proving correctness of transformation functions in collaborative editing systems, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00071213
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
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
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
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
Resolving file conflicts in the Ficus file system, Usenix Conf. Usenix, 1994. ,
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
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
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
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
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
Managing update conflicts in Bayou, a weakly connected replicated storage system, 15th Symp. on Op. Sys. Principles (SOSP), pp.172-182, 1995. ,
Eventually Consistent, Queue, vol.6, issue.6, pp.14-19, 2008. ,
DOI : 10.1145/1466443.1466448
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
Efficient solutions to the replicated log and dictionary problems, Symp. on Principles of Dist. Comp. (PODC), pp.233-242, 1984. ,
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. ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,