The following pages link to Replicated data types (Q5408424):
Displayed 12 items.
- 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)
- 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)
- Brief Announcement: CausalEC: A Causally Consistent Data Storage Algorithm based on Cross-Object Erasure Coding (Q6202280) (← links)