Elimination of redundant messages with a two-pass static analysis algorithm - Girault, Alain (Parallel Computing, 2002)