First Page | Document Content | |
---|---|---|
Date: 2016-09-06 10:47:26 | A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2Add to Reading ListSource URL: software.imdea.orgDownload Document from Source WebsiteFile Size: 416,74 KBShare Document on Facebook |