Formal design and verification of operational transformation algorithms for copies convergence (0)

by A Imine, M Rusinowitch, G Oster, P Molli
Venue:Theoretical Computer Science