Eventually-serializable data services
From MaRDI portal
Publication:1292429
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)
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
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