S. G. Tammaro, J. N. Mosier, N. C. Goodwin, and G. Spitz, Collaborative Writing Is Hard to Support: A Field Study of Collaborative Writing, Computer Supported Cooperative Work (CSCW), vol.22, issue.1, pp.19-51, 1997.
DOI : 10.1023/A:1008636321493

S. Noël and J. Robert, Empirical Study on Collaborative Writing: What Do Co-authors Do, Use, and Like?, Computer Supported Cooperative Work (CSCW), vol.6, issue.1, pp.63-89, 2004.
DOI : 10.1023/B:COSU.0000014876.96003.be

G. D. Abowd and A. J. Dix, Giving undo attention, Interacting with Computers, vol.4, issue.3, pp.317-342, 1992.
DOI : 10.1016/0953-5438(92)90021-7

T. Berlage and A. Genau, A framework for shared applications with a replicated architecture, Proceedings of the 6th annual ACM symposium on User interface software and technology , UIST '93, pp.249-257, 1993.
DOI : 10.1145/168642.168668

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

R. Choudhary and P. Dewan, A General Multi-User Undo/Redo Model, ECSCW, pp.229-246, 1995.
DOI : 10.1007/978-94-011-0349-7_15

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

C. A. Ellis and S. J. Gibbs, Concurrency control in groupware systems, SIGMOD Conference, pp.399-407, 1989.

M. Ressel, D. Nitsche-ruhland, and R. Gunzenhäuser, An integrating, transformationoriented approach to concurrency control and undo in group editors, CSCW, pp.288-297, 1996.

J. Ferrié, N. Vidot, and M. Cart, Concurrent Undo Operations in Collaborative Environments Using Operational Transformation, On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE -OTM Confederated International Conferences, pp.155-173, 2004.
DOI : 10.1007/978-3-540-30468-5_12

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

D. Sun and C. Sun, Operation context and context-based operational transformation, Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work , CSCW '06, pp.279-288, 2006.
DOI : 10.1145/1180875.1180918

G. Oster, P. Urso, P. Molli, and A. Imine, Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems, 2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2006.
DOI : 10.1109/COLCOM.2006.361867

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

A. Imine, P. Molli, G. Oster, and P. Urso, VOTE, Electronic Notes in Theoretical Computer Science, vol.86, issue.1, 2003.
DOI : 10.1016/S1571-0661(04)80660-1

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

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

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

C. Sun and C. A. 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

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

C. Sun, Undo any operation at any time in group editors, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00, pp.191-200, 2000.
DOI : 10.1145/358916.358990

S. Stratulat, A General Framework to Build Contextual Cover Set Induction Provers, Journal of Symbolic Computation, vol.32, issue.4, pp.403-445, 2001.
DOI : 10.1006/jsco.2000.0469

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

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

H. Garcia-molina and K. Salem, Sagas, SIGMOD Conference, pp.249-259, 1987.

L. Unité-de-recherche-inria-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 Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . 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 INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

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