×

Found 2 Documents (Results 1–2)

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
Full Text: arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field