Cloud Types for Eventual Consistency
No abstract available.
DOI 10.1007/978-3-642-31057-7_14
Related papers
- Eventual Consistency for CRDTs ESOP 2018
- Declarative programming over eventually consistent data stores PLDI 2015
- Eventually Consistent Transactions ESOP 2012
- Verifying strong eventual consistency in distributed systems OOPSLA 2017
- Verifying eventual consistency of optimistic replication systems POPL 2014
- Serializability for eventual consistency: criterion, analysis, and applications POPL 2017
- Reactive caching for composed services: polling at the speed of push OOPSLA 2018
- Replicated data types: specification, verification, optimality POPL 2014