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]
Abstract is missing.