Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute - Transaction Language 1 - Document - PDFSEARCH.IO

First Page	Meta Content
	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Document Date: 2014-11-02 12:47:33 Open Document File Size: 956,18 KB Share Result on Facebook Facility University of Oxford Abstract / / IndustryTerm social network / large-scale distributed systems / online store / it unavailable if network / large-scale Internet services / networked systems / correct applications / / Organization IMDEA Software Institute / / Position wb / writer / programmer / / Technology alpha / dom / mobile devices / / SocialTag Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types

Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software InstituteAdd to Reading List