Snap-stabilizing PIF algorithm in arbitrary networks
Alain Cournier, Asoke Kumar Datta, Franck Petit, Vincent Villain · 2003
We present the first snap-stabilizing propagation of information with feedback (PIF) protocol in arbitrary networks. A snap-stabilizing protocol, starting from any arbitrary initial system configuration, always behaves according to its specification. Our protocol is distributed, deterministic, and does not use a pre-constructed spanning tree.