@inproceedings{imine:inria-00000427, TITLE = {{Towards Synchronizing Linear Collaborative Objects with Operation Transformation}}, AUTHOR = {Imine, Abdessamad and Molli, Pascal and Oster, G{\'e}rald and Rusinowitch, Micha{\"e}l}, URL = {https://inria.hal.science/inria-00000427}, BOOKTITLE = {{International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005}}, ADDRESS = {Taipei/Taiwan}, EDITOR = {F. Wang}, PUBLISHER = {{IFIP International Federation for Information Processing 2005}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {3731}, NUMBER = {3731}, PAGES = {411-427}, YEAR = {2005}, MONTH = Oct, PDF = {https://inria.hal.science/inria-00000427/file/37310411.pdf}, HAL_ID = {inria-00000427}, HAL_VERSION = {v1}, }