1. Ellis, C.A., Gibbs, S.J.: Concurrency Control in Groupware Systems. In: SIGMOD Conference, vol. 18, pp. 399–407 (1989)
2. Guerraoui, R., Hari, C.: On the consistency problem in mobile distributed computing. In: Proceedings of the second ACM international workshop on Principles of mobile computing, pp. 51–57. ACM Press, New York (2002)
3. Imine, A.: Conception Formelle d’Algorithmes de Réplication Optimiste. Vers l’Edition Collaborative dans les Réseaux Pair-à-Pair. Ph.D thesis, University of Henri Poincaré, Nancy, France (December 2006)
4. Imine, A.: Flexible Concurrency Control for Real-time Collaborative Editors. In: 28th International Conference on Distributed Computing Systems Workshops, ICDCSW, Beijing, China, pp. 423–428. IEEE Computer Society, Los Alamitos (2008)
5. Imine, A., Molli, P., Oster, G., Rusinowitch, M.: Proving Correctness of Transformation Functions in Real-Time Groupware. In: ECSCW 2003, Helsinki, Finland, September 14-18 (2003)