A Static Communication Elimination Algorithm for Distributed System Verification.

Francesc-Xavier Babot, Miquel Bertran, August Climent

Browse the full ICFEM paper archive.