Unifying stabilization and termination in message-passing systems

Anish Arora, Mikhail Nesterenko. Unifying stabilization and termination in message-passing systems. Distributed Computing, 17(3):279-290, 2005. [doi]

Abstract

Abstract is missing.