Strong eventual consistency of the collaborative editing framework WOOT

DOI10.1007/s00446-021-00414-6zbMath1485.68021MaRDI QIDQ2121065

Emin Karayel, Edgar Gonzàlez

Publication date: 1 April 2022

Published in: Distributed Computing (Search for Journal in Brave)

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

zbMATH Keywords

distributed systems; formal verification; eventual consistency; CRDT; WOOT

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68P05: Data structures

68M14: Distributed systems

68U15: Computing methodologies for text processing; mathematical typography

68V20: Formalization of mathematics in connection with theorem provers

Uses Software

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