Specification and complexity of collaborative text editing, Symposium on Principles of Distributed Computing, pp.259-268, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01351512
Limitations of highly-available eventuallyconsistent data stores, IEEE Trans. Parallel Distrib. Syst, vol.28, issue.1, pp.141-155, 2017. ,
Characterization of consistent global checkpoints in large-scale distributed systems, Workshop on Future Trends of Dist. Computing Systems, pp.314-323, 1995. ,
Does the operational model capture partition tolerance in distributed systems? extended version ,
URL : https://hal.archives-ouvertes.fr/hal-02055328
Replicated data types: specification, verification, optimality, ACM Sigplan Notices, vol.49, pp.271-284, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00934311
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, 2002. ,
Distributed Systems: Concurrency and Consistency, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02484588
Update consistency for wait-free concurrent objects, International Parallel and Distributed Processing Symposium, pp.219-228, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01101657
Reliability issues in computing system design, ACM Computing Surveys (CSUR), vol.10, issue.2, pp.123-165, 1978. ,
The causal ordering abstraction and a simple way to implement it, Information processing letters, vol.39, issue.6, pp.343-350, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075427
Conflict-free replicated data types, Symposium on Self-Stabilizing Systems, pp.386-400, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00609399