Alain Cournier Stéphane Devismes Vincent Villain Snap-Stabilizing PIF and Useless Computations. 39-48 2006 conf/icpads/2006 ICPADS (1) http://doi.ieeecomputersociety.org/10.1109/ICPADS.2006.100 db/conf/icpads/icpads2006-1.html#CournierDV06