Specification and space complexity of collaborative text editing

DOI10.1016/j.tcs.2020.11.046zbMath1497.68283OpenAlexW3113066679MaRDI QIDQ2220887

Adam Morrison, Sebastian Burckhardt, Hongseok Yang, Hagit Attiya, Alexey Gotsman, Marek Zawirski

Publication date: 25 January 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.11.046

zbMATH Keywords

specificationeventual consistencycollaborative text editingmetadata lower bound

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Computing methodologies for text processing; mathematical typography (68U15)

Uses Software

• Logoot

Cites Work

• Replicated abstract data types: building blocks for collaborative applications
• Formal design and verification of operational transformation algorithms for copies convergence
• Introduction to Reliable and Secure Distributed Programming
• Time, clocks, and the ordering of events in a distributed system
• Specification and Complexity of Collaborative Text Editing
• Replicated data types

This page was built for publication: Specification and space complexity of collaborative text editing