Pages that link to "Item:Q1292429"
From MaRDI portal
The following pages link to Eventually-serializable data services (Q1292429):
Displaying 12 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Optimal deployment of eventually-serializable data services (Q545558) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- A technique for constructing highly available services (Q1109559) (← links)
- The weakest failure detector for eventual consistency (Q2010607) (← links)
- Long-lived RAMBO: trading knowledge for communication (Q2383603) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Limitations of highly-available eventually-consistent data stores (Q2796275) (← links)
- (Q4232882) (← links)
- X-Ability: a theory of replication (Q5138364) (← links)
- Distributed Computing (Q5897401) (← links)
- Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)