On Model-Checking Optimistic Replication Algorithms

  title={On Model-Checking Optimistic Replication Algorithms},
  author={Hanifa Boucheneb and Abdessamad Imine},
Collaborative editors consist of a group of users editing a shared document. The Operational Transformation (OT) approach is used for su pporting optimistic replication in these editors. It allows the users to concurrently upda te the shared data and exchange their updates in any order since the conve rgence of all replicas,i.e. the fact that all users view the same data, is ensured in all cases. However, designing algorithms for achieving convergence with the OT ap pro ch is a critical and… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 15 references

Concurrency Control in Groupware Systems

SIGMOD Conference • 1989
View 8 Excerpts
Highly Influenced

Conception formelle d’algorithmes de r ́ plication optimiste. Vers l’ édition Collaborative dans les ŕ eseaux Pair-̀ a-Pair

A. Imine
Phd thesis, University of Henri Poincar é, Nancy, • 2006
View 1 Excerpt

Proving Correctness of Transformation Functions in Real-Time Groupware

Abdessamad Imine, Michäel Rusinowitch ECOO, CASSIS Teams-LORIA
View 1 Excerpt

Similar Papers

Loading similar papers…