P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, 1987.

A. Bouhoula, Automated Theorem Proving by Test Set Induction, Journal of Symbolic Computation, vol.23, issue.1, pp.47-77, 1997.
DOI : 10.1006/jsco.1996.0076

URL : https://hal.archives-ouvertes.fr/inria-00074196

A. H. Davis, C. Sun, and J. Lu, Generalizing operational transformation to the standard general markup language, Proceedings of the 2002 ACM conference on Computer supported cooperative work , CSCW '02, pp.58-67, 2002.
DOI : 10.1145/587078.587088

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

C. A. Ellis and S. J. Gibbs, Concurrency Control in Groupware Systems, SIGMOD Record: Proceedings of the ACM SIGMOD Conference on the Management of Data -SIGMOD'89, pp.399-407, 1989.

J. Ferrié, N. Vidot, M. Cart, and S. Greenberg, Concurrent Undo Operations in Collaborative Environments Using Operational Transformation, Proceedings on the Conference on Cooperative Information Systems - CoopIS 2004 Proceedings of the European Conference of Computer-Supported Cooperative Work -ECSCW'91, pp.155-173, 1991.
DOI : 10.1007/978-3-540-30468-5_12

N. Gu, J. Yang, and Q. Zhang, Consistency maintenance based on the mark & retrace technique in groupware systems, Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work , GROUP '05, pp.264-273, 2005.
DOI : 10.1145/1099203.1099250

C. Ignat and M. C. Norrie, Customizable Collaborative Editor Relying on treeOPT Algorithm, Proceedings of the European Conference on Computer-Supported Cooperative Work -ECSCW 2003, pp.315-334, 2003.
DOI : 10.1007/978-94-010-0068-0_17

A. Imine, P. Molli, G. Oster, and M. Rusinowitch, Proving Correctness of Transformation Functions in Real-Time Groupware, Proceedings of the European Conference on Computer-Supported Cooperative Work -ECSCW 2003, pp.277-293, 2003.
DOI : 10.1007/978-94-010-0068-0_15

URL : https://hal.archives-ouvertes.fr/inria-00107652

A. Imine, P. Molli, G. Oster, and P. Urso, VOTE, Proceedings of the International Workshop on First- Order Theorem Proving -FTP 2003, 2003.
DOI : 10.1016/S1571-0661(04)80660-1

URL : https://hal.archives-ouvertes.fr/inria-00099700

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. Li and R. Li, Preserving operation effects relation in group editors, Proceedings of the 2004 ACM conference on Computer supported cooperative work , CSCW '04, pp.457-466, 2004.
DOI : 10.1145/1031607.1031683

D. Li and R. Li, An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors, Computer Supported Cooperative Work (CSCW), vol.5, issue.March, pp.1-59, 2006.
DOI : 10.1007/s10606-005-9009-5

R. Li and D. Li, A landmark-based transformation approach to concurrency control in group editors, Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work , GROUP '05, pp.284-293, 2005.
DOI : 10.1145/1099203.1099252

R. Li and D. Li, Commutativity-Based Concurrency Control in Groupware, Proceedings of the IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing -CollaborateCom 2005, pp.1-10, 2005.

B. Lushman and G. V. Cormack, Proof of correctness of Ressel's adOPTed algorithm, Information Processing Letters, vol.86, issue.6, pp.303-310, 2003.
DOI : 10.1016/S0020-0190(03)00227-8

P. Molli, G. Oster, H. Skaf-molli, and A. Imine, Using the transformational approach to build a safe and generic data synchronizer, Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work , GROUP '03, pp.212-220, 2003.
DOI : 10.1145/958160.958194

URL : https://hal.archives-ouvertes.fr/inria-00099815

G. Oster, P. Urso, P. Molli, and A. Imine, Proving Correctness of Transformation Functions in Collaborative Editing Systems, 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, 2006.
DOI : 10.1145/1180875.1180916

URL : https://hal.archives-ouvertes.fr/inria-00108523

A. Prakash and M. J. Knister, A framework for undoing actions in collaborative systems, ACM Transactions on Computer-Human Interaction, vol.1, issue.4, pp.295-330, 1994.
DOI : 10.1145/198425.198427

M. Ressel and R. Gunzenhäuser, Reducing the problems of group undo, Proceedings of the international ACM SIGGROUP conference on Supporting group work , GROUP '99, pp.131-139, 1999.
DOI : 10.1145/320297.320312

M. Ressel, D. Nitsche-ruhland, and R. Gunzenhäuser, An integrating, transformation-oriented approach to concurrency control and undo in group editors, Proceedings of the 1996 ACM conference on Computer supported cooperative work , CSCW '96, pp.288-297, 1996.
DOI : 10.1145/240080.240305

Y. Saito and M. Shapiro, Optimistic replication, ACM Computing Surveys, vol.37, issue.1, pp.42-81, 2005.
DOI : 10.1145/1057977.1057980

URL : https://hal.archives-ouvertes.fr/inria-00444768

M. Suleiman, M. Cart, and J. Ferrié, Concurrent operations in a distributed and mobile collaborative environment, Proceedings 14th International Conference on Data Engineering, pp.36-45, 1998.
DOI : 10.1109/ICDE.1998.655755

C. Sun, Undo as concurrent inverse in group editors, ACM Transactions on Computer-Human Interaction, vol.9, issue.4, pp.309-361, 2002.
DOI : 10.1145/586081.586085

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, pp.59-68, 1998.
DOI : 10.1145/289444.289469

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

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

S. Weiss, Annulation de Groupe dans lesÉditeursles´lesÉditeurs Collaboratifs, 2006.