@article{imine:inria-00000426, TITLE = {{Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence}}, AUTHOR = {Imine, Abdessamad and Rusinowitch, Micha{\"e}l and Oster, G{\'e}rald and Molli, Pascal}, URL = {https://inria.hal.science/inria-00000426}, JOURNAL = {{Theoretical Computer Science}}, PUBLISHER = {{Elsevier}}, SERIES = {Algebraic Methodology and Software Technology}, VOLUME = {351}, NUMBER = {2}, PAGES = {167--183}, YEAR = {2006}, DOI = {10.1016/j.tcs.2005.09.066}, KEYWORDS = {Distributed groupware systems ; Replication ; Operational transformation ; Algebraic specification ; Automated verification}, HAL_ID = {inria-00000426}, HAL_VERSION = {v1}, }