Back to Results
First PageMeta Content



Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2
Add to Reading List

Document Date: 2017-01-21 10:32:08


Open Document

File Size: 506,30 KB

Share Result on Facebook
UPDATE