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

First Page		Document Content
Date: 2016-09-06 10:47:15		A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 366,03 KB Share Document on Facebook