Modeling MapReduce with CSP | IEEE Conference Publication | IEEE Xplore