Formalizing MapReduce with CSP | IEEE Conference Publication | IEEE Xplore