Grapevine: an exercise in distributed computing, Communications of the ACM, vol.25, issue.4, pp.260-274, 1982. ,
DOI : 10.1145/358468.358487
ACTA: The SAGA continues, Database Transaction Models for Advanced Applications, chapter 10, pp.349-397, 1992. ,
Correctness criteria and concurrency control, Management of Heterogeneous and Autonomous Database Systems, 1998. ,
A constraint programming approach to log-based reconciliation problems for nomadic applications, 6th Annual W. of the ERCIM Working Group on Constraints, 2001. ,
Eventually-serializable data services, Theoretical Computer Science, vol.220, issue.1, pp.113-156, 1999. ,
DOI : 10.1016/S0304-3975(98)00239-4
X-ability, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing , PODC '00, 2000. ,
DOI : 10.1145/343477.343623
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
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
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
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
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
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
Optimistic replication, ACM Computing Surveys, vol.37, issue.1, 2003. ,
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/inria-00444768
The Actions-Constraints approach to replication: Definitions and proofs, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01248210
A formalism for consistency and partial replication, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00444800
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
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
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
Managing update conflicts in Bayou, a weakly connected replicated storage system, Proc. 15th ACM Symposium on Operating Systems Principles, 1995. ,
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