Formal Verification of Operational Transformation.

Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun

Browse the full FM paper archive.