Back to Results
First PageMeta Content



A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute
Add to Reading List

Document Date: 2016-09-06 10:47:15


Open Document

File Size: 366,03 KB

Share Result on Facebook
UPDATE