Finite-State Self-Stabilizing Protocols in Message-Passing Systems

Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno. Finite-State Self-Stabilizing Protocols in Message-Passing Systems. J. Parallel Distrib. Comput., 62(5):792-817, 2002. [doi]

Abstract

Abstract is missing.