Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
<--- Back to Details
First Page
Document Content
Date: 2010-08-04 03:30:10
Concurrency control
Linearizability
Transaction processing
Model theory
Introduction R/G Examples Brief history
Add to Reading List
Source URL: dream.inf.ed.ac.uk
Download Document from Source Website
File Size: 2,53 MB
Share Document on Facebook
Similar Documents
A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2
DocID: 1tJ91 - View Document
A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute
DocID: 1tHCL - View Document
Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2
DocID: 1tBi5 - 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
Local Linearizability Ana Sokolova joint work with: Andreas Haas Andreas Holzer
DocID: 1t00x - View Document