The following pages link to (Q5856416):
Displaying 9 items.
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← 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)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)
- Optimal stateless model checking for causal consistency (Q6535346) (← links)
- Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)
- A verified durable transactional mutex lock for persistent x86-TSO (Q6661756) (← links)