Pages that link to "Item:Q1292429"
From MaRDI portal
The following pages link to Eventually-serializable data services (Q1292429):
Displayed 6 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)
- The weakest failure detector for eventual consistency (Q2010607) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)