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

First Page		Document Content
Date: 2017-01-21 10:32:08		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 Source URL: software.imdea.org Download Document from Source Website File Size: 506,30 KB Share Document on Facebook