Conflict-free Replicated Data Types (CRDTs)

[1]  João Leitão,et al.  Efficient Synchronization of State-Based CRDTs , 2018, 2019 IEEE 35th International Conference on Data Engineering (ICDE).

[2]  Nuno M. Preguiça,et al.  Non-uniform Replication , 2017, OPODIS.

[3]  Paulo Sérgio Almeida,et al.  DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones , 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).

[4]  Alastair R. Beresford,et al.  Verifying strong eventual consistency in distributed systems , 2017, Proc. ACM Program. Lang..

[5]  Peter Zeller,et al.  Testing properties of weakly consistent programs with Repliss , 2017, PaPoC@EuroSys.

[6]  Alastair R. Beresford,et al.  A Conflict-Free Replicated JSON Datatype , 2016, IEEE Transactions on Parallel and Distributed Systems.

[7]  Annette Bieniusa,et al.  Cure: Strong Semantics Meets High Availability and Low Latency , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[8]  Albert van der Linde,et al.  Δ-CRDTs: making δ-CRDTs delta-based , 2016, PaPoC@EuroSys.

[9]  Ali Shoker,et al.  Delta state replicated data types , 2016, J. Parallel Distributed Comput..

[10]  Hongseok Yang,et al.  'Cause I'm strong enough: Reasoning about consistency choices in distributed systems , 2016, POPL.

[11]  Annette Bieniusa,et al.  Eventually consistent register revisited , 2015, PaPoC@EuroSys.

[12]  Rodrigo Rodrigues,et al.  Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants , 2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS).

[13]  Murat Demirbas,et al.  Logical Physical Clocks , 2014, OPODIS.

[14]  Sérgio Duarte,et al.  Putting consistency back into eventual consistency , 2015, EuroSys.

[15]  Annette Bieniusa,et al.  Formal Specification and Verification of CRDTs , 2014, FORTE.

[16]  Ali Shoker,et al.  Making operation-based CRDTs operation-based , 2014, PaPEC '14.

[17]  Russell Brown,et al.  Riak DT map: a composable, convergent replicated dictionary , 2014, PaPEC '14.

[18]  Sebastian Burckhardt,et al.  Replicated data types: specification, verification, optimality , 2014, POPL.

[19]  Annette Bieniusa,et al.  SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine , 2013, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops.

[20]  Paulo Sérgio Almeida,et al.  Scalable eventually consistent counters over unreliable networks , 2013, Distributed Computing.

[21]  Marcos K. Aguilera,et al.  Transactional storage for geo-replicated systems , 2011, SOSP.

[22]  Nuno M. Preguiça,et al.  Conflict-Free Replicated Data Types , 2011, SSS.

[23]  Myeongjae Jeon,et al.  Replicated abstract data types: Building blocks for collaborative applications , 2011, J. Parallel Distributed Comput..

[24]  Pascal Molli,et al.  Logoot-Undo: Distributed Collaborative Editing System on P2P Networks , 2010, IEEE Transactions on Parallel and Distributed Systems.

[25]  Eric A. Brewer,et al.  A certain freedom: thoughts on the CAP theorem , 2010, PODC.

[26]  Stéphane Weiss,et al.  Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[27]  Joan Manuel Marquès,et al.  A Commutative Replicated Data Type for Cooperative Editing , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[28]  Dahlia Malkhi,et al.  Concise version vectors in WinFS , 2005, Distributed Computing.

[29]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[30]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[31]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[32]  Bernadette Charron-Bost,et al.  Concerning the Size of Logical Clocks in Distributed Systems , 1991, Inf. Process. Lett..

[33]  Patrick E. O'Neil,et al.  The Escrow transactional method , 1986, TODS.

[34]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[35]  Nuno M. Preguiça,et al.  Conflict-free Replicated Data Types , 1999 .

[36]  Nuno M. Preguiça,et al.  Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary , 2012, OSDI.