A. Bouhoula, E. Kounalis, and M. Rusinowitch, Automated Mathematical Induction, Journal of Logic and Computation, vol.5, issue.5, pp.631-668, 1995.
DOI : 10.1093/logcom/5.5.631
URL : https://hal.archives-ouvertes.fr/inria-00074484

C. A. Ellis and S. J. Gibbs, Concurrency Control in Groupware Systems, SIGMOD Conference, pp.399-407, 1989.

R. Guerraoui and C. Hari, On the consistency problem in mobile distributed computing, Proceedings of the second ACM international workshop on Principles of mobile computing , POMC '02, pp.51-57, 2002.
DOI : 10.1145/584490.584501

M. P. Herlihy and J. M. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.5315

A. Imine, P. Molli, G. Oster, and M. Rusinowitch, Proving Correctness of Transformation Functions in Real-Time Groupware, 8th European Conference of Computer-supported Cooperative Work, pp.14-18, 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 M. Rusinowitch, Deductive Verification of Distributed Groupware Systems, Algebraic Methodology and Software Technology, 10th International Conference, pp.226-240, 2004.
DOI : 10.1007/978-3-540-27815-3_20
URL : https://hal.archives-ouvertes.fr/inria-00099986

A. Imine, M. Rusinowitch, G. Oster, and P. Molli, Formal design and verification of operational transformation algorithms for copies convergence, Theoretical Computer Science, vol.351, issue.2, 2005.
DOI : 10.1016/j.tcs.2005.09.066
URL : https://hal.archives-ouvertes.fr/inria-00000426

D. Li and R. Li, Ensuring content and intention consistency in real-time group editors, 24th International Conference on Distributed Computing Systems, 2004. Proceedings., 2004.
DOI : 10.1109/ICDCS.2004.1281643

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

M. Ressel, D. Nitsche-ruhland, and R. Gunzenhauser, 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

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. 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, The copowerpoint project, 2004.

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

D. Sun, S. Xia, C. Sun, and D. Chen, Operational transformation for collaborative word processing, Proceedings of the 2004 ACM conference on Computer supported cooperative work , CSCW '04, pp.437-446, 2004.
DOI : 10.1145/1031607.1031681

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, 2000.
DOI : 10.1145/358916.358988
URL : https://hal.archives-ouvertes.fr/hal-00684563

M. Wirsing, Algebraic Specification. Handbook of theoretical computer science (vol. B): formal models and semantics, pp.675-788, 1990.