Modeling MapReduce with CSP.

Wen Su, Fan Yang, Huibiao Zhu, Qin Li

Browse the full TASE paper archive.