Randolph, Aurel; Boucheneb, Hanifa; Imine, Abdessamad; Quintero, Alejandro On synthesizing a consistent operational transformation approach. (English) Zbl 1360.68217 IEEE Trans. Comput. 64, No. 4, 1074-1089 (2015). MSC: 68M14 PDFBibTeX XMLCite \textit{A. Randolph} et al., IEEE Trans. Comput. 64, No. 4, 1074--1089 (2015; Zbl 1360.68217) Full Text: DOI
Randolph, Aurel; Boucheneb, Hanifa; Imine, Abdessamad; Quintero, Alejandro On consistency of operational transformation approach. (English) Zbl 1464.68031 Atig, Mohamed Faouzi (ed.) et al., Proceedings of the 14th international workshop on verification of infinite-state systems, Paris, France, August 27, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 107, 45-59 (2013). MSC: 68M14 68W15 68W32 PDFBibTeX XMLCite \textit{A. Randolph} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 107, 45--59 (2013; Zbl 1464.68031) Full Text: arXiv Link