Eventually Consistent Transactions
No abstract available.
Related papers
- Declarative programming over eventually consistent data stores PLDI 2015
- Cloud Types for Eventual Consistency ECOOP 2012
- TigerQuoll: parallel event-based JavaScript PPoPP 2013
- Eventual Consistency for CRDTs ESOP 2018
- Verifying eventual consistency of optimistic replication systems POPL 2014
- Serializability for eventual consistency: criterion, analysis, and applications POPL 2017
- Verifying strong eventual consistency in distributed systems OOPSLA 2017
- MixT: a language for mixing consistency in geodistributed transactions PLDI 2018