Skip to search formSkip to main contentSkip to account menu

Data consistency for P2P collaborative editing

This paper proposes a new model for building a collaborative editing system that is fully decentralised and does not depend on the number of sites.
View on ACM (opens in a new tab)

Evaluating CRDTs for real-time document editing

This paper demonstrates the suitability of CRDTs for real-time collaborative editing, and collects editing logs from real- time peer-to-peer collaborations to reflect the tendency of decentralised collaboration.
View on ACM (opens in a new tab)

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems

This paper addresses the correctness issue by proposing a new way to model shared state by retaining tombstones when elements are removed and an instantiation of the proposed model for a linear data structure and the related transformation functions are provided.
View on IEEE (opens in a new tab)

Supporting adaptable granularity of changes for massive-scale collaborative editing

This paper offers a solution for handling an adaptable granularity for shared data that overcomes the limitations of fixed-grained data approaches and exhibits three implementations of this algorithm.
View on IEEE (opens in a new tab)

Using the transformational approach to build a safe and generic data synchronizer

This paper proposes an algorithm and specific transformation functions that realize a file system synchronisation that ensures properties of convergence, causality and intention preservation and is extensible to new data types.
View on ACM (opens in a new tab)

Proving Correctness of Transformation Functions in Real-Time Groupware

This paper shows how a theorem prover can address this serious bottleneck of operational transformation, and verified the correctness of state-of-art transformation functions defined on Strings with surprising results.
View via Publisher (opens in a new tab)

Formal design and verification of operational transformation algorithms for copies convergence

View via Publisher (opens in a new tab)

Real time group editors without Operational transformation

The WOOT (WithOut Operational Transformation) framework that ensures intention consistency without following the OT approach is described, which is drastically simpler, more efficient and does not require vector clocks or central sites.

SAMS: synchronous, asynchronous, multi-synchronous environments

A SAMS environment allows team members to work in synchronous, asynchronous or multi-synchronous mode while ensuring the coherence of shared data.
View on IEEE (opens in a new tab)

Proving correctness of transformation functions in collaborative editing systems

This paper shows how a theorem prover can address this serious bottleneck of operational transformation and designs the tombstone transformation functions, which verify TP1 and TP2, preserve intentions and ensure multi-effect relationships.
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)