Alain Girault. Elimination of redundant messages with a two-pass static analysis algorithm. Parallel Computing, 28(3):433-453, 2002.
@article{Girault02, title = {Elimination of redundant messages with a two-pass static analysis algorithm}, author = {Alain Girault}, year = {2002}, tags = {analysis, static analysis}, researchr = {https://researchr.org/publication/Girault02}, cites = {0}, citedby = {0}, journal = {Parallel Computing}, volume = {28}, number = {3}, pages = {433-453}, }