Design and implementation of software tools for property verification in operational transformation

Operational Transformation (OT) as a real-time collaborative computing technology has been extensively studied over the past two decades. One of the aspects that has not been fully explored is the correctness of those OT systems whose operation model consists of string-wise primitive operations. To...

Full description

Saved in:
Bibliographic Details
Main Author: Luo, Jianlin
Other Authors: Sun Chengzheng
Format: Final Year Project
Language:English
Published: 2014
Subjects:
Online Access:http://hdl.handle.net/10356/59249
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English