Unifying Stabilization and Termination in Message-Passing Systems.

Anish Arora, Mikhail Nesterenko

Browse the full ICDCS paper archive.