Eventually-serializable data services
From MaRDI portal
Publication:1292429
DOI10.1016/S0304-3975(98)00239-4zbMATH Open0933.68009MaRDI QIDQ1292429FDOQ1292429
Authors: Alan Fekete, David Gupta, Victor Luchangco, Nancy Lynch, Alexander A. Schwarzmann 
Publication date: 21 June 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 1263990
- Optimal deployment of eventually-serializable data services
- On serializability
- Serializability for eventual consistency: criterion, analysis, and applications
- scientific article; zbMATH DE number 4182805
- scientific article; zbMATH DE number 3965471
- Serializability theory for replicated databases
- Universally serializable computation
Cites Work
- Forward and backward simulations. I. Untimed Systems
- Forward and backward simulations. II: Timing-based systems
- Title not available (Why is that?)
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Title not available (Why is that?)
- Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres
Cited In (16)
- Title not available (Why is that?)
- A technique for constructing highly available services
- \textsc{Hampa}: solver-aided recency-aware replication
- Optimal deployment of eventually-serializable data services
- Efficient replication of large data objects
- Dynamic input/output automata: a formal and compositional model for dynamic systems
- The weakest failure detector for eventual consistency
- Long-lived RAMBO: trading knowledge for communication
- X-ability: a theory of replication
- Limitations of highly-available eventually-consistent data stores
- On the refinement of liveness properties of distributed systems
- Synthesis of large dynamic concurrent programs from dynamic specifications
- From sequential specifications to eventual consistency
- X-ability, a theory of replication
- Finite-state concurrent programs can be expressed in pairwise normal form
- Eventually consistent transactions
Uses Software
This page was built for publication: Eventually-serializable data services
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292429)
