@article{journals/corr/BanksEHSJN17,
  added-at = {2020-03-06T00:00:00.000+0100},
  author = {Banks, Christopher J. and Elver, Marco and Hoffmann, Ruth and Sarkar, Susmit and Jackson, Paul B. and Nagarajan, Vijay},
  biburl = {https://www.bibsonomy.org/bibtex/24579201440815bb9d1aef65b02f31fd7/dblp},
  ee = {http://arxiv.org/abs/1705.08262},
  interhash = {297e595ebd81bad3242c08531668a1e5},
  intrahash = {4579201440815bb9d1aef65b02f31fd7},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2020-03-07T11:40:13.000+0100},
  title = {Verification of a lazy cache coherence protocol against a weak memory model.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#BanksEHSJN17},
  volume = {abs/1705.08262},
  year = 2017
}

{"_id":"8CvmmGRpRrPdH7PJP","bibbaseid":"banks-elver-hoffmann-sarkar-jackson-nagarajan-verificationofalazycachecoherenceprotocolagainstaweakmemorymodel-2017","authorIDs":[],"author_short":["Banks, C. J.","Elver, M.","Hoffmann, R.","Sarkar, S.","Jackson, P. B.","Nagarajan, V."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-03-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Banks"],"firstnames":["Christopher","J."],"suffixes":[]},{"propositions":[],"lastnames":["Elver"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Hoffmann"],"firstnames":["Ruth"],"suffixes":[]},{"propositions":[],"lastnames":["Sarkar"],"firstnames":["Susmit"],"suffixes":[]},{"propositions":[],"lastnames":["Jackson"],"firstnames":["Paul","B."],"suffixes":[]},{"propositions":[],"lastnames":["Nagarajan"],"firstnames":["Vijay"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/24579201440815bb9d1aef65b02f31fd7/dblp","ee":"http://arxiv.org/abs/1705.08262","interhash":"297e595ebd81bad3242c08531668a1e5","intrahash":"4579201440815bb9d1aef65b02f31fd7","journal":"CoRR","keywords":"dblp","timestamp":"2020-03-07T11:40:13.000+0100","title":"Verification of a lazy cache coherence protocol against a weak memory model.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1705.html#BanksEHSJN17","volume":"abs/1705.08262","year":"2017","bibtex":"@article{journals/corr/BanksEHSJN17,\n added-at = {2020-03-06T00:00:00.000+0100},\n author = {Banks, Christopher J. and Elver, Marco and Hoffmann, Ruth and Sarkar, Susmit and Jackson, Paul B. and Nagarajan, Vijay},\n biburl = {https://www.bibsonomy.org/bibtex/24579201440815bb9d1aef65b02f31fd7/dblp},\n ee = {http://arxiv.org/abs/1705.08262},\n interhash = {297e595ebd81bad3242c08531668a1e5},\n intrahash = {4579201440815bb9d1aef65b02f31fd7},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2020-03-07T11:40:13.000+0100},\n title = {Verification of a lazy cache coherence protocol against a weak memory model.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#BanksEHSJN17},\n volume = {abs/1705.08262},\n year = 2017\n}\n\n","author_short":["Banks, C. J.","Elver, M.","Hoffmann, R.","Sarkar, S.","Jackson, P. B.","Nagarajan, V."],"key":"journals/corr/BanksEHSJN17","id":"journals/corr/BanksEHSJN17","bibbaseid":"banks-elver-hoffmann-sarkar-jackson-nagarajan-verificationofalazycachecoherenceprotocolagainstaweakmemorymodel-2017","role":"author","urls":{"Link":"http://arxiv.org/abs/1705.08262","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1705.html#BanksEHSJN17"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/banks?items=1000","creationDate":"2020-11-09T04:30:04.810Z","downloads":0,"keywords":["dblp"],"search_terms":["verification","lazy","cache","coherence","protocol","against","weak","memory","model","banks","elver","hoffmann","sarkar","jackson","nagarajan"],"title":"Verification of a lazy cache coherence protocol against a weak memory model.","year":2017,"dataSources":["4mnhe87Gt4h7SC73t"]}