U. Base, D. Causalement, L. Pour, . Applications, . Client et al., De plus, cela est (asymptotiquement) la moins cher des réalisations connues pour toutes sortes d'ensembles. La borne inférieure pour l'ensemble suppression-gagnante montre, que telle optimalisation n'est pas possible dans le cas d'une sémantique suppression-gagnante

/. Esotericsoftware, [3] Data Types in Riak, 2014.

M. Ahamad, J. E. Burns, P. W. Hutto, and G. Neiger, Causal memory, Proc. 5th Int. Workshop on Distributed Algorithms, pp.9-30, 1991.
DOI : 10.1007/BFb0022435

P. Sérgio, A. , and C. Baquero, Scalable eventually consistent counters over unreliable networks, 2013.

P. Sérgio-almeida, C. Baquero, and R. Gonçalves, Nuno Preguiça, and Victor Fonte. Scalable and accurate causality tracking for eventually consistent stores, Int

P. Sérgio-almeida, A. Shoker, C. Baquero-almeida, J. Leitão, and L. Rodrigues, Efficient state-based CRDTs by delta-mutation URL http://arxiv.org/abs/ 1410.2803 ChainReaction: a causal+ consistent datastore based on Chain Replication, Euro. Conf. on Comp. Sys. (EuroSys) Conway, and Joseph M. Hellerstein. Consistency without borders. In Symp. on Cloud Computing (SoCC), 2013.

K. Aslan, P. Molli, H. Skaf-molli, S. Weiss, and K. Kingsbury, C-Set: a Commutative Replicated Data Type for Semantic Stores The network is reliable: An informal survey of real-world communications failures, RED: Fourth International Workshop on REsource Discovery, 2011.

P. Bailis, A. Davidson, A. Fekete, A. Ghodsi, and M. Joseph, Hellerstein, and Ion Stoica Highly Available Transactions: Virtues and limitations, Int. Conf. on Very Large Data Bases (VLDB), Riva del Garda, 2014.

P. Bailis, A. Fekete, A. Ghodsi, and M. Joseph, Hellerstein, and Ion Stoica. Scalable atomic visibility with RAMP transactions, Int. Conf. on the Mgt. of Data (SIGMOD), 2014.

P. Bailis, A. Fekete, M. J. Franklin, A. Ghodsi, and M. Joseph, Hellerstein, and Ion Stoica. Coordination avoidance in database systems, Int. Conf. on Very Large Data Bases (VLDB), 2015.

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

C. Baquero, P. S. Almeida, and A. Shoker, Making operation-based CRDTs operation-based, Int. Conf. on Distr. Apps. and Interop. Sys. (DAIS), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01287738

N. Belaramani, M. Dahlin, L. Gao, A. Nayate, A. Venkataramani et al., PRACTI replication, Networked Sys. Design and Implem. (NSDI), pp.59-72, 2006.

F. Benevenuto, T. Rodrigues, M. Cha, and V. Almeida, Characterizing user behavior in online social networks, Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference, IMC '09, 2009.
DOI : 10.1145/1644893.1644900

P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, 1987.

A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero et al., An optimized conflict-free replicated set, Institut National de la Recherche en Informatique et Automatique (Inria), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00738680

A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero et al., An optimized conflict-free replicated set: Additional material. Unpublished extension of the technical report, 2012.

A. Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero et al., Brief Announcement: Semantics of Eventually Consistent Replicated Sets, In Int. Symp. on Dist. Comp. (DISC) Lecture Notes in Comp. Sc, vol.7611, pp.441-442, 2012.
DOI : 10.1007/978-3-642-33651-5_48
URL : https://hal.archives-ouvertes.fr/hal-00769554

N. Bjørner, Models and software model checking of a distributed file replication system In Formal Methods and Hybrid Real-Time Systems, pp.1-23978, 2007.

J. Bonér, Server-managed CRDTs based on Akka. https://github.com/jboner/ akka-crdt, 2014.

I. Briquemont, M. Bravo, Z. Li, P. Van, and R. , Optimising client-side geo-replication with partially replicated data structures, submission, 2014.

R. Brown, S. Cribbs, C. Meiklejohn, and S. Elliott, Riak DT map, Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, PaPEC '14, 2014.
DOI : 10.1145/2596631.2596633

J. Brzezí-nski and D. Dwornikowski, K-Resilient Session Guarantees Synchronization Protocol for Mobile Ad-Hoc Networks, Parallel Processing and Applied Mathematics, vol.7203, pp.30-39
DOI : 10.1007/978-3-642-31464-3_4

S. Burckhardt, Bringing TouchDevelop to the cloud, Inside Microsoft Research Blog, vol.1028, 2013.

S. Burckhardt and M. Fähndrich, Daan Leijen, and Mooly Sagiv. Eventually consistent transactions, Euro. Symp. on Programming, 2012.

S. Burckhardt, M. Fähndrich, D. Leijen, and B. P. Wood, Cloud Types for Eventual Consistency, Euro. Conf. on Object-Oriented Pging, pp.283-307978, 2012.
DOI : 10.1007/978-3-642-31057-7_14

S. Burckhardt, A. Gotsman, and H. Yang, Understanding eventual consistency, p.189249, 2013.

S. Burckhardt, A. Gotsman, H. Yang, and M. Zawirski, Replicated data types, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.271-284, 2014.
DOI : 10.1145/2535838.2535848
URL : https://hal.archives-ouvertes.fr/hal-00934311

S. Burckhardt, D. Leijen, and M. Fahndrich, Cloud types: Robust abstractions for replicated shared state, 2014.

C. Cachin, R. Guerraoui, and L. Rodrigues, Introduction to Reliable and Secure Distributed Programming, 2011.
DOI : 10.1007/978-3-642-15260-3

B. Cairns, Build collaborative apps with Google Drive Realtime API Google Apps Developers Blog, 2013.

B. Carlos, Scaling up reconciliation in eventual consistency scaling-up-reconciliation-in-eventual-consistency, 2012.

B. Charron-bost, Concerning the size of logical clocks in distributed systems, Information Processing Letters, vol.39, issue.1, 1991.
DOI : 10.1016/0020-0190(91)90055-M

C. Byung-gon-chun, R. Curino, A. Sears, S. Shraer, R. Madden et al., Mobius: Unified messaging and data serving for mobile apps, Int. Conf. on Mobile Sys., Apps. and Services (MobiSys), pp.141-154, 2012.

N. Conway, P. Alvaro, E. Andrews, M. Joseph, and . Hellerstein, Edelweiss, Proc. VLDB Endow, p.2014
DOI : 10.14778/2732279.2732285

B. F. Cooper, A. Silberstein, E. Tam, R. Ramakrishnan, and R. Sears, Benchmarking cloud serving systems with YCSB, Proceedings of the 1st ACM symposium on Cloud computing, SoCC '10, pp.143-154, 2010.
DOI : 10.1145/1807128.1807152

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, pp.205-220, 2007.

A. Deftu and J. Griebsch, A Scalable Conflict-Free Replicated Set Data Type, 2013 IEEE 33rd International Conference on Distributed Computing Systems
DOI : 10.1109/ICDCS.2013.10

J. Du, S. Elnikety, A. Roy, and W. Zwaenepoel, Orbe, Proceedings of the 4th annual Symposium on Cloud Computing, SOCC '13, pp.1-11, 2013.
DOI : 10.1145/2523616.2523628

J. Du, C. Iorgulescu, A. Roy, and W. Zwaenepoel, Closing the performance gap between causal consistency and eventual consistency, W. on the Principles and Practice of Eventual Consistency (PaPEC)

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

F. Fich and E. Ruppert, Hundreds of impossibility results for distributed computing, Distributed Computing, vol.16, issue.2-3
DOI : 10.1007/s00446-003-0091-y

S. Gilbert, N. Lynch, and R. A. Golding, Weak-consistency group communication and membership, SIGACT News, pp.51-59, 1992.

A. Gotsman and H. Yang, Composite replicated data types In submission, 2014.

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

M. Hofmann, B. Pierce, and D. Wagner, Symmetric lenses, Symp. on Principles of Prog. Lang. (POPL) Assoc. for Computing Machinery, pp.371-384, 2011.

C. Jay, M. Glencross, and R. Hubbold, Modeling the effects of delayed haptic and visual feedback in a collaborative virtual environment, ACM Transactions on Computer-Human Interaction, vol.14, issue.2, 2007.
DOI : 10.1145/1275511.1275514

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

A. Kansal, B. Urgaonkar, and S. Govindan, Using dark fiber to displace diesel generators, Hot Topics in Operating Systems

K. Kingsbury, Call me maybe: Cassandra. http://aphyr.com/posts/ 294-call-me-maybe-cassandra, 2013.

R. Kroeger, Gmail for mobile HTML5 series: Cache pattern for offline HTML5 web applications Google Code Blog, 2009.

R. Ladin, B. Liskov, and L. Shrira, Lazy replication, Proceedings of the 4th workshop on ACM SIGOPS European workshop , EW 4, pp.49-55, 1991.
DOI : 10.1145/504136.504138

R. Ladin, B. Liskov, L. Shrira, and S. Ghemawat, Providing high availability using lazy replication, ACM Transactions on Computer Systems, vol.10, issue.4, pp.360-391, 1992.
DOI : 10.1145/138873.138877

A. Lakshman and P. Malik, Cassandra, a decentralized structured storage system, W. on Large-Scale Dist. Sys. and Middleware (LADIS), volume 44 of Operating Systems Review ACM SIG on Op. Sys. (SIGOPS), pp.35-40, 2009.

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

C. Li, D. Porto, A. Clement, J. Gehrke, N. Preguiça et al., Making geo-replicated systems fast as possible, consistent when necessary, Symp. on Op. Sys. Design and Implementation (OSDI), pp.265-278, 2012.

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen, Don't settle for eventual, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.401-416, 2011.
DOI : 10.1145/2043556.2043593

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen, Stronger semantics for low-latency geo-replicated storage, Networked Sys. Design and Implem. (NSDI), pp.313-328, 2013.

P. Mahajan, L. Alvisi, and M. Dahlin, Consistency, availability, and convergence, 2011.

P. Mahajan, S. Setty, S. Lee, A. Clement, L. Alvisi et al., Depot, ACM Transactions on Computer Systems, vol.29, issue.4, pp.1-12, 2011.
DOI : 10.1145/2063509.2063512

D. Malkhi and D. B. Terry, Concise version vectors in WinFS, Distributed Computing, pp.209-219, 2007.

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

G. Madhavan-mukund, S. P. Shenoy, and . Suresh, Optimized OR-sets without ordering constraints, Int. Conf. on Distributed Comp. and Net. (ICDCN), pp.227-241

B. Nédelec, P. Molli, A. Mostefaoui, and E. Desmontils, LSEQ, Proceedings of the 2013 ACM symposium on Document engineering, DocEng '13, pp.37-46
DOI : 10.1145/2494266.2494278

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

G. Oster, P. Molli, P. Urso, and A. Imine, Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems, 2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2006.
DOI : 10.1109/COLCOM.2006.361867
URL : https://hal.archives-ouvertes.fr/inria-00109039

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

D. Stott-parker, J. Gerald, J. Popek, G. Rudisin, A. Stoughton et al., Detection of mutual inconsistency in distributed systems, IEEE Trans. on Soft. Engin., SE, issue.3, pp.9240-247, 1983.

J. Pereira, L. Rodrigues, and R. Oliveira, Semantically reliable multicast: definition, implementation, and performance evaluation, IEEE Transactions on Computers, vol.52, issue.2, pp.150-165, 2003.
DOI : 10.1109/TC.2003.1176983

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.

G. J. Popek, R. G. Guy, T. W. Page, J. , and J. S. Heidemann, Replication in Ficus distributed file systems, [1990] Proceedings. Workshop on the Management of Replicated Data, pp.24-29
DOI : 10.1109/MRD.1990.138235

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

N. Preguiça, J. L. Martins, H. Domingos, and S. Duarte, Data management support for asynchronous groupware, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00
DOI : 10.1145/358916.358972

T. Venugopalan-ramasubramanian, D. B. Rodeheffer, M. Terry, T. Walraed-sullivan, C. Wobber et al., Cimbiosys: A platform for content-based partial replication, Networked Sys. Design and Implem. (NSDI), 2009.

. Redis, Redis is an open source, BSD licensed, advanced key-value store, 2014.

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, pp.354-368, 2011.
DOI : 10.1016/j.jpdc.2010.12.006

M. Masoud-saeida-ardekani, P. Zawirski, M. Sutra, and . Shapiro, The space complexity of transactional interactive reads, Int. W. on Hot Topics in Cloud Data Processing (HotCDP), 2012.

P. Masoud-saeida-ardekani, M. Sutra, and . Shapiro, Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, Symp. on Reliable Dist. Sys. (SRDS), pp.163-172, 2013.

N. Schiper, P. Sutra, and F. Pedone, P-Store: Genuine Partial Replication in Wide Area Networks, 2010 29th IEEE Symposium on Reliable Distributed Systems, pp.214-224, 2010.
DOI : 10.1109/SRDS.2010.32
URL : https://hal.archives-ouvertes.fr/hal-01293863

E. Schurman and J. Brutlag, Performance related changes and their user impact URL https://www.youtube.com/watch?v=bQSE51-gr2s, 2009.

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

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Convergent and commutative replicated data types, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00932833

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399

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

C. Shoemaker, Build an HTML5 offline application with Application Cache, Web Storage and ASP, NET MVC. CODE Magazine, 2013.

Y. Sovran, R. Power, M. K. Aguilera, and J. Li, Transactional storage for geo-replicated systems, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.385-400, 2011.
DOI : 10.1145/2043556.2043592

D. B. Terry, A. J. Demers, K. Petersen, M. J. Spreitzer, M. M. Theimer et al., Session guarantees for weakly consistent replicated data, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems, pp.140-149, 1994.
DOI : 10.1109/PDIS.1994.331722

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, In Symp. on Op. Sys. Principles (SOSP), pp.172-182, 1995.

R. Van-renesse and F. B. Schneider, Chain replication for supporting high throughput and availability, Symp. on Op. Sys. Design and Implementation (OSDI), pp.91-104, 2004.

K. Veeraraghavan, V. Ramasubramanian, T. L. Rodeheffer, D. B. Terry, and T. Wobber, Fidelity-aware replication for mobile devices, Proceedings of the 7th international conference on Mobile systems, applications, and services, Mobisys '09, 2009.
DOI : 10.1145/1555816.1555826

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: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks, 2009 29th IEEE International Conference on Distributed Computing Systems
DOI : 10.1109/ICDCS.2009.75
URL : https://hal.archives-ouvertes.fr/inria-00432368

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

M. Zawirski, M. Shapiro, and N. Preguiça, Asynchronous rebalancing of a replicated tree, Conf. Française sur les Systèmes d'Exploitation (CFSE), 2011.
URL : https://hal.archives-ouvertes.fr/hal-01248197

M. Zawirski, A. Bieniusa, V. Balegas, S. Duarte, C. Baquero et al., SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client machine, Recherche en Informatique et Automatique (Inria), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00870225