Formal design and verification of operational transformation algorithms for copies convergence

Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli. Formal design and verification of operational transformation algorithms for copies convergence. Theoretical Computer Science, 351(2):167-183, 2006. [doi]

Abstract

Abstract is missing.