Convergent and commutative replicated data types
From MaRDI portal
Recommendations
Cited in
(33)- Scalable eventually consistent counters over unreliable networks
- Verifying the consistency of remote untrusted services with conflict-free operations
- Categorical specification and implementation of replicated data types
- Asynchronous reconfiguration with Byzantine failures
- Strong eventual consistency of the collaborative editing framework WOOT
- \textsc{Hampa}: solver-aided recency-aware replication
- Relaxed data types as consistency conditions
- Eventual consistency for CRDTs
- Limitations of highly-available eventually-consistent data stores
- Composite replicated data types
- Eventually consistent transactions
- From sequential specifications to eventual consistency
- Effective verification of replicated data types using later appearance records (LAR)
- Non-interference Properties for Data-Type Reduction of Communicating Systems
- Composition in state-based replicated data types
- Proving the safety of highly-available distributed objects
- Relaxed Data Types as Consistency Conditions
- Lattice agreement in message passing systems
- scientific article; zbMATH DE number 7561440 (Why is no real title available?)
- Bounded implementations of replicated data types
- CRDT
- Replicated data types, specification, verification, optimality
- Principles of Distributed Systems
- Monotonic Prefix Consistency in Distributed Systems
- Permissionless and asynchronous asset transfer
- On the complexity of checking consistency for replicated data types
- Automated parameterized verification of CRDTs
- Replicated abstract data types: building blocks for collaborative applications
- Asynchronous reconfiguration with Byzantine failures
- The free termination property of queries over time
- The IMAP CmRDT
- Replicated data types that unify eventual consistency and observable atomic consistency
- Sound verification procedures for temporal properties of infinite-state systems
This page was built for publication: Convergent and commutative replicated data types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904106)
