Collaborative text editing systems allow users to concurrently edit a shared document, inserting and deleting elements (e.g., characters or lines). There are a number of protocols for collaborative text editing, but so far there has been no precise specification of their desired behavior, and several of these protocols have been shown not to satisfy even basic expectations. This paper provides a precise specification of a replicated list object, which models the core functionality of repli...Expand abstract
- Publication status:
- Copyright holder:
- Attiya et al.
- Copyright date:
Copyright 2016. Copyright held by the owner/author(s). Publication rights licensed to ACM.