CRDT

MaRDI QIDQ53719swMATHFDO

Authors Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

Publication date 7 July 2017

Official website https://www.isa-afp.org/entries/CRDT.html

Cites work

• 30 years of research and development around Coq
• A Brief Overview of Agda – A Functional Language with Dependent Types
• Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors
• Concrete semantics. With Isabelle/HOL
• Convergent and commutative replicated data types
• Defining liveness
• Detecting causal relationships in distributed computations: In search of the holy grail
• Formal design and verification of operational transformation algorithms for copies convergence
• Impossibility of distributed consensus with one faulty process
• Introduction to Reliable and Secure Distributed Programming
• Limitations of highly-available eventually-consistent data stores
• Local Theory Specifications in Isabelle/Isar
• On Synthesizing a Consistent Operational Transformation Approach
• Replicated abstract data types: building blocks for collaborative applications
• Replicated data types, specification, verification, optimality
• Specification and complexity of collaborative text editing
• The Isabelle Framework
• The Matita interactive theorem prover
• Time, clocks, and the ordering of events in a distributed system
• Unreliable failure detectors for reliable distributed systems
• Verified Operational Transformation for Trees

Cited in

(1)

• Proving the safety of highly-available distributed objects

This page was built for software: CRDT