B. R. Badrinath and K. Ramamritham, Semantics-based concurrency control: beyond commutativity, ACM Transactions on Database Systems, vol.17, issue.1, pp.163-199, 1992.
DOI : 10.1145/128765.128771
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.5673

V. Tushar-deepak-chandra, S. Hadzilacos, and . Toueg, The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996.
DOI : 10.1145/234533.234549

X. Défago, A. Schiper, and P. Urbán, Total order broadcast and multicast algorithms, ACM Computing Surveys, vol.36, issue.4, pp.372-421, 2004.
DOI : 10.1145/1041680.1041682

J. Gray and L. Lamport, Consensus on transaction commit, ACM Transactions on Database Systems, vol.31, issue.1, pp.133-160, 2006.
DOI : 10.1145/1132863.1132867
URL : http://arxiv.org/abs/cs/0408036

C. Ignat, G. Oster, P. Molli, M. Cart, J. Ferrié et al., A comparison of optimistic approaches to collaborative editing of Wiki pages, 2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007), 2007.
DOI : 10.1109/COLCOM.2007.4553878
URL : https://hal.archives-ouvertes.fr/inria-00188329

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

L. Lamport, The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1998.
DOI : 10.1145/279227.279229

L. Lamport, Generalized consensus and Paxos, 2005.

F. Mattern, Virtual time and global states of distributed systems, Int. W. on Parallel and Distributed Algorithms, pp.215-226, 1989.

S. Mishra, L. L. Peterson, and R. D. Schlichting, Implementing fault-tolerant replicated objects using Psync, Proceedings of the Eighth Symposium on Reliable Distributed Systems, pp.42-52, 1989.
DOI : 10.1109/RELDIS.1989.72747

O. James, M. Brien, and . Shapiro, An application framework for nomadic, collaborative applications, Int. Conf. on Dist. App. and Interop. Sys. (DAIS), pp.48-63, 2006.

G. Oster, P. Urso, P. Molli, and A. Imine, Proving correctness of transformation functions in collaborative editing systems, Research Report RR, vol.5795, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071213

G. Oster, P. Urso, P. Molli, and A. Imine, Data consistency for P2P collaborative editing, Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work , CSCW '06, pp.259-268, 2006.
DOI : 10.1145/1180875.1180916
URL : https://hal.archives-ouvertes.fr/inria-00108523

F. Pedone and A. Schiper, Handling message semantics with Generic Broadcast protocols, Distributed Computing, vol.15, issue.2, pp.97-107, 2002.
DOI : 10.1007/s004460100061
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.9885

K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers, Flexible update propagation for weakly consistent replication, Symp. on Op. Sys. Principles (SOSP), pp.288-301, 1997.

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

H. Roh, J. Kim, and J. Lee, How to design optimistic operations for peer-to-peer replication, Proceedings of the 9th Joint Conference on Information Sciences (JCIS), 2006.
DOI : 10.2991/jcis.2006.245

Y. Saito and M. Shapiro, Optimistic replication Computing Surveys, pp.42-81, 2005.
DOI : 10.1145/1057977.1057980
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.5537

M. Shapiro, K. Bhargavan, and N. Krishna, A Constraint-Based Formalism for Consistency in Replicated Systems, Proc. 8th Int. Conf. on Principles of Dist. Sys. (OPODIS), number 3544 in Lecture Notes in Comp. Sc, pp.331-345, 2004.
DOI : 10.1007/11516798_24
URL : https://hal.archives-ouvertes.fr/inria-00444799

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

C. Sun and C. Ellis, Operational transformation in real-time group editors, Proceedings of the 1998 ACM conference on Computer supported cooperative work , CSCW '98, p.59, 1998.
DOI : 10.1145/289444.289469

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399