The following pages link to On verifying causal consistency (Q5370895):
Displaying 12 items.
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- A formal approach to property testing in causally consistent distributed traces (Q2432223) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← links)
- Chapar: certified causally consistent distributed key-value stores (Q2828279) (← links)
- (Q5028420) (← links)
- (Q5111640) (← links)
- (Q5203927) (← links)
- (Q5856416) (← 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)