Strong eventual consistency of the collaborative editing framework WOOT

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

Edgar Gonzàlez, Emin Karayel

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 systemsformal verificationeventual consistencyCRDTWOOT

Mathematics Subject Classification ID

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

Uses Software

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

Cites Work

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

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