ParFuse: Parallel and Compositional Analysis of Message Passing Programs

S. Aananthakrishnan,G. Bronevetsky,Mark Baranowski,G. Gopalakrishnan
DOI: https://doi.org/10.1007/978-3-319-52709-3_3
2016-09-28
Abstract:
What problem does this paper attempt to address?