Harvest, yield and scalable tolerant systems, The Seventh Workshop on Hot Topics in Operating Systems, pp.174-178, 1999. ,
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, SIGACT News, vol.33, issue.2, pp.51-59, 2002. ,
Conflict-free replicated data types, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, pp.386-400, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00932836
Riak DT map: a composable, convergent replicated dictionary, The First Workshop on the Principles and Practice of Eventual Consistency, pp.1-1, 2014. ,
Data consistency for P2P collaborative editing, pp.259-268, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00108523
A commutative replicated data type for cooperative editing, ICDCS, pp.395-403, 2009. ,
A CRDT supporting selective undo for collaborative text editing, DAIS, pp.193-206, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01246212
MUTE: A peer-to-peer web-based real-time collaborative editor, ECSCW Panels, Demos and Posters, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01655438
A conflict-free replicated JSON datatype, IEEE Trans. Parallel Distrib. Syst, vol.28, issue.10, pp.2733-2746, 2017. ,
Local-first software: you own your data, in spite of the cloud, Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp.154-178, 2019. ,
Making geo-replicated systems fast as possible, consistent when necessary, 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.265-278, 2012. ,
A comprehensive study of convergent and commutative replicated data types, vol.7506, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00555588
The maintamance of duplicated databases, Internet Request for Comments RFC, vol.677, 1976. ,
Introduction to Lattice Theory with Computer Science Applications, 2015. ,
Delta state replicated data types, J. Parallel Distrib. Comput, vol.111, pp.162-173, 2018. ,
Efficient Synchronization of State-based CRDTs, IEEE 35th International Conference on Data Engineering (ICDE), 2019. ,
A optimized conflict-free replicated set, vol.8083, 2012. ,
Lasp: a language for distributed, coordination-free programming, the 17th International Symposium on Principles and Practice of Declarative Programming, pp.184-195, 2015. ,
A generic undo support for state-based CRDTs, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), ser. LIPIcs, vol.153, p.17, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02370231
Logical physical clocks, Principles of Distributed Systems (OPODIS), ser. LNCS, vol.8878, pp.17-32, 2014. ,
Practical evaluation of the lasp programming model at large scale: an experience report, the 19th International Symposium on Principles and Practice of Declarative Programming, pp.109-114, 2017. ,
Data replication on the cloud/edge, Proceedings of the 6th Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC), vol.7, pp.1-7, 2019. ,
Concurrency control in groupware systems, SIGMOD, pp.399-407, 1989. ,
Extending eventually consistent cloud databases for enforcing numeric invariants, 34th IEEE Symposium on Reliable Distributed Systems (SRDS), pp.31-36, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01248192
Coordination avoidance in database systems, Proc. VLDB Endow, vol.8, issue.3, pp.185-196, 2014. ,
Antidote SQL: relaxed when possible, strict when necessary, CoRR, 2019. ,
A low-cost set CRDT based on causal lengths, Proceedings of the 7th Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC), vol.5, pp.1-5, 2020. ,