Pages that link to "Item:Q5041111"
From MaRDI portal
The following pages link to Proving the Safety of Highly-Available Distributed Objects (Q5041111):
Displaying 4 items.
- A technique for constructing highly available services (Q1109559) (← links)
- Safety-liveness exclusion in distributed computing (Q2796260) (← links)
- Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees (Q3603029) (← links)
- Optimal stateless model checking for causal consistency (Q6535346) (← links)