Deterministic Synchronization of Multi-threaded Programs with Operational Transformation | IEEE Conference Publication | IEEE Xplore