A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute - Linearizability - Document - PDFSEARCH.IO

First Page	Meta 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

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