Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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