%0 Conference Paper %1 conf/pldi/PetrankMS09 %A Petrank, Erez %A Musuvathi, Madanlal %A Steensgaard, Bjarne %B PLDI %D 2009 %E Hind, Michael %E Diwan, Amer %I ACM %K dblp %P 144-154 %T Progress guarantee for parallel programs via bounded lock-freedom. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2009.html#PetrankMS09 %@ 978-1-60558-392-1

@inproceedings{conf/pldi/PetrankMS09, added-at = {2021-06-25T00:00:00.000+0200}, author = {Petrank, Erez and Musuvathi, Madanlal and Steensgaard, Bjarne}, biburl = {https://www.bibsonomy.org/bibtex/21d366e609cd4d2f20016fafcde24632d/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2009}, editor = {Hind, Michael and Diwan, Amer}, ee = {https://doi.org/10.1145/1543135.1542493}, interhash = {bea6fdb789c26f3e6443efbb5fe8de44}, intrahash = {1d366e609cd4d2f20016fafcde24632d}, isbn = {978-1-60558-392-1}, keywords = {dblp}, pages = {144-154}, publisher = {ACM}, timestamp = {2024-04-09T18:59:33.000+0200}, title = {Progress guarantee for parallel programs via bounded lock-freedom.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2009.html#PetrankMS09}, year = 2009 }