@inproceedings{GotsmanCPV09,
	Author = {A. Gotsman and B. Cook and M.J. Parkinson and V. Vafeiadis},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL},
	Crossref = {DBLP:conf/popl/2009},
	Ee = {http://doi.acm.org/10.1145/1480881.1480886},
	Pages = {16-28},
	Title = {Proving that non-blocking algorithms don't block},
	Year = {2009}}

{"_id":"d7dLoSTb7rxEAubY9","bibbaseid":"gotsman-cook-parkinson-vafeiadis-provingthatnonblockingalgorithmsdontblock-2009","authorIDs":[],"author_short":["Gotsman, A.","Cook, B.","Parkinson, M.","Vafeiadis, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["A."],"propositions":[],"lastnames":["Gotsman"],"suffixes":[]},{"firstnames":["B."],"propositions":[],"lastnames":["Cook"],"suffixes":[]},{"firstnames":["M.J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Vafeiadis"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"POPL","crossref":"DBLP:conf/popl/2009","ee":"http://doi.acm.org/10.1145/1480881.1480886","pages":"16-28","title":"Proving that non-blocking algorithms don't block","year":"2009","bibtex":"@inproceedings{GotsmanCPV09,\n\tAuthor = {A. Gotsman and B. Cook and M.J. Parkinson and V. Vafeiadis},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {POPL},\n\tCrossref = {DBLP:conf/popl/2009},\n\tEe = {http://doi.acm.org/10.1145/1480881.1480886},\n\tPages = {16-28},\n\tTitle = {Proving that non-blocking algorithms don't block},\n\tYear = {2009}}\n\n","author_short":["Gotsman, A.","Cook, B.","Parkinson, M.","Vafeiadis, V."],"key":"GotsmanCPV09","id":"GotsmanCPV09","bibbaseid":"gotsman-cook-parkinson-vafeiadis-provingthatnonblockingalgorithmsdontblock-2009","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1480881.1480886"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.556Z","downloads":0,"keywords":[],"search_terms":["proving","non","blocking","algorithms","don","block","gotsman","cook","parkinson","vafeiadis"],"title":"Proving that non-blocking algorithms don't block","year":2009,"dataSources":["7Z8XEkSJX2s636QcA"]}