@inbook{ChenSongWu:CAV:2016,
    title = {{The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach}},
    isbn = {9783319415406},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-319-41540-6_6},
    doi = {10.1007/978-3-319-41540-6_6},
    booktitle = {Computer Aided Verification},
    publisher = {Springer International Publishing},
    author = {Chen, Yu-Fang and Song, Lei and Wu, Zhilin},
    year = {2016},
    pages = {91--111},
    date-added = {2025-1-20 19:48:45 +0100}
}

@inbook{ChenSongWu:CAV:2016, title = {{The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach}}, isbn = {9783319415406}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-319-41540-6_6}, doi = {10.1007/978-3-319-41540-6_6}, booktitle = {Computer Aided Verification}, publisher = {Springer International Publishing}, author = {Chen, Yu-Fang and Song, Lei and Wu, Zhilin}, year = {2016}, pages = {91--111}, date-added = {2025-1-20 19:48:45 +0100} }