@Inproceedings{EPTCS107.5,
  author    = {Randolph, Aurel and Boucheneb, Hanifa and Imine, Abdessamad and Quintero, Alejandro},
  year      = {2013},
  title     = {On Consistency of Operational Transformation Approach},
  editor    = {Atig, Mohamed Faouzi and Rezine, Ahmed},
  booktitle = {{\rm Proceedings 14th International Workshop on}
                Verification of Infinite-State Systems ,
               {\rm Paris, France, 27th August 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {107},
  publisher = {Open Publishing Association},
  pages     = {45-59},
  doi       = {10.4204/EPTCS.107.5},
}