The following pages link to Replicated data types (Q5408424):
Displaying 13 items.
- Replicated data types that unify eventual consistency and observable atomic consistency (Q780057) (← links)
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- Specification and space complexity of collaborative text editing (Q2220887) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- From Sequential Specifications to Eventual Consistency (Q3449480) (← links)
- (Q4494250) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Proving the Safety of Highly-Available Distributed Objects (Q5041111) (← links)
- (Q5091083) (← links)
- (Q5111640) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)
- Consensus on demand (Q6155257) (← links)