Concurrency Control and Recovery in Database Systems, 1987. ,
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
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
Total order broadcast and multicast algorithms, ACM Computing Surveys, vol.36, issue.4, pp.372-421, 2004. ,
DOI : 10.1145/1041680.1041682
Concurrency Control in Groupware Systems, SIGMOD Record: Proceedings of the ACM SIGMOD Conference on the Management of Data -SIGMOD'89, pp.399-407, 1989. ,
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
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
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
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
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
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
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
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
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
Commutativity-Based Concurrency Control in Groupware, Proceedings of the IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing -CollaborateCom 2005, pp.1-10, 2005. ,
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
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
Proving Correctness of Transformation Functions in Collaborative Editing Systems, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00071213
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 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
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
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
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
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
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
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
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
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
Annulation de Groupe dans lesÉditeursles´lesÉditeurs Collaboratifs, 2006. ,