Fan Yang, Wen Su, Huibiao Zhu, Qin Li. Formalizing MapReduce with CSP. In Roy Sterritt, Brandon Eames, Jonathan Sprinkle, editors, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. pages 358-367, IEEE Computer Society, 2010. [doi]
@inproceedings{YangSZL10,
title = {Formalizing MapReduce with CSP},
author = {Fan Yang and Wen Su and Huibiao Zhu and Qin Li},
year = {2010},
doi = {10.1109/ECBS.2010.50},
url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.50},
researchr = {https://researchr.org/publication/YangSZL10},
cites = {0},
citedby = {0},
pages = {358-367},
booktitle = {17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010},
editor = {Roy Sterritt and Brandon Eames and Jonathan Sprinkle},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4005-4},
}