Modeling MapReduce with CSP
Wen Hai Su, Fan Yang, Huibiao Zhu, Qin Li · 2009
As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets. We use CSP framework to model MapReduce system through which the parallelization of the computation and the distribution of data across multiple machines can be reflected. Some properties of MapReduce can be verified based on the achieved model.