A Static Communication Elimination Algorithm for Distributed System Verification.

Francesc-Xavier Babot Miquel Bertran August Climent A Static Communication Elimination Algorithm for Distributed System Verification. 375-389 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_26 db/conf/icfem/icfem2005.html#BabotBC05