Proving that non-blocking algorithms don't block. Gotsman, A., Cook, B., Parkinson, M., & Vafeiadis, V. In POPL, pages 16-28, 2009.
Proving that non-blocking algorithms don't block [link]Link  bibtex   
@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}}

Downloads: 0