specification and complexity of collaborative text editing

Collaborative Text Editing System

System Model

Replicated List

A shared document is modeled as a replicated list object, which allows its clients to
insert and delete elements at different replicas.

• ins(a, k): insert element a at the position k; return the contents of the list
• del(a): delete the element a; return the contents of the list
• read(): return the contents of the list

Specification of List

The RGA Protocol