A. D. Birell, R. Levin, R. M. Needham, and M. D. Schroeder, Grapevine: an exercise in distributed computing, Communications of the ACM, vol.25, issue.4, pp.260-274, 1982.
DOI : 10.1145/358468.358487

P. K. Chrysanthis and K. Ramamritham, ACTA: The SAGA continues, Database Transaction Models for Advanced Applications, chapter 10, pp.349-397, 1992.

P. K. Chrysanthis and K. Ramamritham, Correctness criteria and concurrency control, Management of Heterogeneous and Autonomous Database Systems, 1998.

F. Fages, A constraint programming approach to log-based reconciliation problems for nomadic applications, 6th Annual W. of the ERCIM Working Group on Constraints, 2001.

A. Fekete, D. Gupta, V. Luchangco, N. Lynch, and A. Shvartsman, Eventually-serializable data services, Theoretical Computer Science, vol.220, issue.1, pp.113-156, 1999.
DOI : 10.1016/S0304-3975(98)00239-4

S. Frølund and R. Guerraoui, X-ability, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing , PODC '00, 2000.
DOI : 10.1145/343477.343623

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

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

D. Manivannan and M. Singhal, An efficient distributed algorithm for detection of knots and cycles in a distributed graph, IEEE Transactions on Parallel and Distributed Systems, vol.14, issue.10, pp.961-972, 2003.
DOI : 10.1109/TPDS.2003.1239865

]. N. Preguiça, M. Shapiro, and C. Matheson, Semantics-Based Reconciliation for Collaborative and Mobile Environments, Proc. Tenth Int. Conf. on Coop. Info. Sys. (CoopIS), 2003.
DOI : 10.1007/978-3-540-39964-3_5

K. Ramamritham and P. K. Chrysanthis, A taxonomy of correctness criteria in database applications, The VLDB Journal The International Journal on Very Large Data Bases, vol.5, issue.1, pp.85-97, 1996.
DOI : 10.1007/s007780050017

M. Raynal and M. Mizuno, How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth), 1993 4th Workshop on Future Trends of Distributed Computing Systems, pp.340-346, 1993.
DOI : 10.1109/FTDCS.1993.344136

Y. Saito and M. Shapiro, Optimistic replication, ACM Computing Surveys, vol.37, issue.1, 2003.
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/inria-00444768

M. Shapiro and K. Bhargavan, The Actions-Constraints approach to replication: Definitions and proofs, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01248210

M. Shapiro, K. Bhargavan, Y. Chong, and Y. Hamadi, A formalism for consistency and partial replication, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00444800

M. Shapiro, N. Preguiça, and J. O-'brien, Rufis: mobile data sharing using a generic constraint-oriented reconciler, IEEE International Conference on Mobile Data Management, 2004. Proceedings. 2004, 2004.
DOI : 10.1109/MDM.2004.1263052
URL : https://hal.archives-ouvertes.fr/inria-00444770

A. Sousa, R. Oliveira, F. Moura, and F. Pedone, Partial replication in the Database State Machine, Proceedings IEEE International Symposium on Network Computing and Applications. NCA 2001, pp.298-309, 2001.
DOI : 10.1109/NCA.2001.962546

C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen, Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction, vol.5, issue.1, pp.63-108, 1998.
DOI : 10.1145/274444.274447

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, Proc. 15th ACM Symposium on Operating Systems Principles, 1995.

N. Vidot, M. Cart, J. Ferrié, and M. Suleiman, Copies convergence in a distributed real-time collaborative environment, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00, pp.171-180, 2000.
DOI : 10.1145/358916.358988
URL : https://hal.archives-ouvertes.fr/hal-00684563