Sylvie Delaët Stéphane Devismes Mikhail Nesterenko Sébastien Tixeuil Snap-Stabilization in Message-Passing Systems. 281-286 2009 ICDCN http://dx.doi.org/10.1007/978-3-540-92295-7_34 conf/icdcn/2009 db/conf/icdcn/icdcn2009.html#DelaetDNT09