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 2Add to Reading ListSource URL: software.imdea.orgDownload Document from Source WebsiteFile Size: 506,30 KBShare Document on Facebook |