Eventually-serializable data services

DOI10.1016/S0304-3975(98)00239-4zbMath0933.68009MaRDI QIDQ1292429

Victor Luchangco, Alan Fekete, David Gupta, Nancy A. Lynch, Alexander A. Schwarzmann

Publication date: 21 June 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

consistencyreplicationdistributed storageweak coherence

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data structures (68P05)

Related Items

Dynamic input/output automata: a formal and compositional model for dynamic systems, Synthesis of large dynamic concurrent programs from dynamic specifications, Optimal deployment of eventually-serializable data services, The weakest failure detector for eventual consistency, Finite-state concurrent programs can be expressed in pairwise normal form, On the refinement of liveness properties of distributed systems

Uses Software

• INGRES

Cites Work

• Unnamed Item
• Unnamed Item
• Forward and backward simulations. I. Untimed Systems
• Forward and backward simulations. II: Timing-based systems
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres