Strong eventual consistency of the collaborative editing framework WOOT

DOI10.1007/S00446-021-00414-6MaRDI QIDQ2121065zbMATH OpenOpenAlexFDO

Authors Emin Karayel, Edgar Gonzàlez

Publication date 1 April 2022

Published in Distributed Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00446-021-00414-6

zbMATH Keywords

CRDTdistributed systemseventual consistencyformal verificationWOOT

Mathematics Subject Classification ID

Distributed systems (68M14) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for text processing; mathematical typography (68U15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Convergent and commutative replicated data types
• Eventual consistency for CRDTs
• Verified Operational Transformation for Trees
• Specification and space complexity of collaborative text editing
• Effective verification of replicated data types using later appearance records (LAR)

Cites work

• Convergent and commutative replicated data types
• Distributed Algorithms for Message-Passing Systems
• Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
• Isabelle/HOL. A proof assistant for higher-order logic
• Model Theory
• Replicated abstract data types: building blocks for collaborative applications
• Time, clocks, and the ordering of events in a distributed system

Cited in

(4)

• Specification and space complexity of collaborative text editing
• Eventual consistency for CRDTs
• Convergent and commutative replicated data types
• Specification and complexity of collaborative text editing

Describes a project that uses

Uses Software

• Isabelle
• Certification_Monads
• woot-haskell
• Woot
• wootjs
• Wooki
• Logoot
• Isabelle/HOL
• HOL
• Datatype Order Generator
• Archive of Formal Proofs
• GitHub

This page was built for publication: Strong eventual consistency of the collaborative editing framework WOOT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2121065)