Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

First Page		Document Content
Date: 2015-01-16 15:25:31 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency		Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 955,52 KB Share Document on Facebook

	To appear in Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP’11) Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS Wyatt Lloyd? , Michael J. Freedman? DocID: 1ufbb - View Document
	DATABASES Eventual Consistency Today: Limitations, Extensions, and Beyond How can applications be built on eventually consistent infrastructure given no guarantee of safety? Peter Bailis and Ali Ghodsi, UC Berkeley DocID: 1ubSK - View Document
	Verifying Strong Eventual Consistency in Distributed Systems DocID: 1tH7A - View Document
	Cloud Types for Eventual Consistency Sebastian Burckhardt1 , Manuel F¨ahndrich1 , Daan Leijen1 , and Benjamin P. Wood2 1 DocID: 1tE4w - View Document
	From Linearizability to Eventual Consistency Radha Jagadeesan and James Riely DePaul University Abstract We address the fundamental issue of interfaces that arises in the context of cloud computing; namely, what does it DocID: 1t8PT - View Document