Anish Arora
-
Snap-stabilization in message-passing systems
Journal of Parallel and Distributed Computing