@article{DBLP:journals/toplas/GordonEGP17,
  author    = {Colin S. Gordon and
               Michael D. Ernst and
               Dan Grossman and
               Matthew J. Parkinson},
  title     = {Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee
               and Refinement Types},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {39},
  number    = {3},
  pages     = {11:1--11:54},
  year      = {2017},
  url       = {https://doi.org/10.1145/3064850},
  doi       = {10.1145/3064850},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/GordonEGP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"akMxLuBtdg3jgs25N","bibbaseid":"gordon-ernst-grossman-parkinson-verifyinginvariantsoflockfreedatastructureswithrelyguaranteeandrefinementtypes-2017","downloads":0,"creationDate":"2019-02-05T02:31:25.248Z","title":"Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types","author_short":["Gordon, C. S.","Ernst, M. D.","Grossman, D.","Parkinson, M. J."],"year":2017,"bibtype":"article","biburl":"https://dblp.org/pid/77/11368.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Colin","S."],"propositions":[],"lastnames":["Gordon"],"suffixes":[]},{"firstnames":["Michael","D."],"propositions":[],"lastnames":["Ernst"],"suffixes":[]},{"firstnames":["Dan"],"propositions":[],"lastnames":["Grossman"],"suffixes":[]},{"firstnames":["Matthew","J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]}],"title":"Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types","journal":"ACM Trans. Program. Lang. Syst.","volume":"39","number":"3","pages":"11:1–11:54","year":"2017","url":"https://doi.org/10.1145/3064850","doi":"10.1145/3064850","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/toplas/GordonEGP17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/toplas/GordonEGP17,\n author = {Colin S. Gordon and\n Michael D. Ernst and\n Dan Grossman and\n Matthew J. Parkinson},\n title = {Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee\n and Refinement Types},\n journal = {{ACM} Trans. Program. Lang. Syst.},\n volume = {39},\n number = {3},\n pages = {11:1--11:54},\n year = {2017},\n url = {https://doi.org/10.1145/3064850},\n doi = {10.1145/3064850},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/toplas/GordonEGP17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gordon, C. S.","Ernst, M. D.","Grossman, D.","Parkinson, M. J."],"key":"DBLP:journals/toplas/GordonEGP17","id":"DBLP:journals/toplas/GordonEGP17","bibbaseid":"gordon-ernst-grossman-parkinson-verifyinginvariantsoflockfreedatastructureswithrelyguaranteeandrefinementtypes-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3064850"},"downloads":0},"search_terms":["verifying","invariants","lock","free","data","structures","rely","guarantee","refinement","types","gordon","ernst","grossman","parkinson"],"keywords":[],"authorIDs":[],"dataSources":["23HzvM7bPMdaXcJsn"]}