Virginia Niculescu. Formal Refinement of BSP Programs with Early Cost Evaluation. In 10th International Symposium on Parallel and Distributed Computing, ISPDC 2011, Cluj-Napoca, Romania, July 6-8, 2011. pages 49-56, IEEE, 2011. [doi]
@inproceedings{Niculescu11, title = {Formal Refinement of BSP Programs with Early Cost Evaluation}, author = {Virginia Niculescu}, year = {2011}, doi = {10.1109/ISPDC.2011.17}, url = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.17}, researchr = {https://researchr.org/publication/Niculescu11}, cites = {0}, citedby = {0}, pages = {49-56}, booktitle = {10th International Symposium on Parallel and Distributed Computing, ISPDC 2011, Cluj-Napoca, Romania, July 6-8, 2011}, publisher = {IEEE}, isbn = {978-1-4577-1536-5}, }