A Static Communication Elimination Algorithm for Distributed System Verification | Publicación