From Sequential Specifications to Eventual Consistency
Authors:
- 20 June 2015
- book chapter
- Published by Springer Nature
- p. 247-259
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Composite Replicated Data Types2015
- Verifying eventual consistency of optimistic replication systems2014
- Replicated data types2014
- Quiescent Consistency: Defining and Verifying Relaxed Linearizability2014
- Logic and Lattices for Distributed Programming2012
- Eventually Consistent Transactions2012
- Abstraction for concurrent objectsTheoretical Computer Science, 2010
- The declarative imperativeACM SIGMOD Record, 2010
- Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web servicesACM SIGACT News, 2002
- Concurrency control in groupware systemsACM SIGMOD Record, 1989