Pages that link to "Item:Q2676222"
From MaRDI portal
The following pages link to Checking causal consistency of distributed databases (Q2676222):
Displaying 6 items.
- A formal approach to property testing in causally consistent distributed traces (Q2432223) (← links)
- Chapar: certified causally consistent distributed key-value stores (Q2828279) (← links)
- 'Cause I'm strong enough: reasoning about consistency choices in distributed systems (Q2828282) (← links)
- On verifying causal consistency (Q5370895) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)