scientific article; zbMATH DE number 7561440

DOI10.4230/LIPICS.OPODIS.2018.12MaRDI QIDQ5091083zbMATH OpenFDO

Authors

Publication date 21 July 2022

Full work available at URL https://arxiv.org/abs/1708.04754

zbMATH Keywords

collaborative text editing systemsconcurrency controlJupiter protocoloperational transformationreplicated liststrong/weak list specification

Mathematics Subject Classification ID

Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• scientific article; zbMATH DE number 954130
• Verifying a distributed list system: A case history
• On speculative replication of transactional systems
• An algorithm for replicated objects with efficient reads (extended abstract)
• On the propagation of updates in distributed replicated systems

Cites work

• Convergent and commutative replicated data types
• Formal design and verification of operational transformation algorithms for copies convergence
• scientific article; zbMATH DE number 1947686 (Why is no real title available?)
• Limitations of highly-available eventually-consistent data stores
• Replicated abstract data types: building blocks for collaborative applications
• Replicated data types, specification, verification, optimality
• Specification and complexity of collaborative text editing
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication:

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