A. Imine, P. Molli, G. Oster, and M. Rusinowitch, Proving Correctness of Transformation Functions in Real-Time Groupware, Proceedings of 8th ECSCW, 2003.
DOI : 10.1007/978-94-010-0068-0_15
URL : https://hal.archives-ouvertes.fr/inria-00107652

A. Kermarrec, A. Rowstron, M. Shapiro, and P. Druschel, The IceCube approach to the reconciliation of divergent replicas, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing , PODC '01, pp.210-218, 2001.
DOI : 10.1145/383962.384020
URL : https://hal.archives-ouvertes.fr/hal-01248215

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

G. Oster, P. Urso, P. Molli, and A. Imine, Real time group editors without operational transformation, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071240

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

M. Suleiman, M. Cart, and J. Ferrié, Serialization of concurrent operations in a distributed collaborative environment, Proceedings of the international ACM SIGGROUP conference on Supporting group work : the integration challenge the integration challenge, GROUP '97, pp.435-445, 1997.
DOI : 10.1145/266838.267369

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

P. Manolios, Y. Yu, and L. Lamport, Model checking TLA+ specifications, Proceedings of 10th CHARME, pp.54-66, 1999.