Probabilistic Breadth-First Search - A Method for Evaluation of Network-Wide Broadcast Protocols.