Development of self-stabilizing distributed algorithms using transformation: case studies

Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko. Development of self-stabilizing distributed algorithms using transformation: case studies. In Sukumar Ghosh, Ted Herman, editors, 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, August, 1997, Proceedings. pages 16-30, Carleton University Press, 1997.

Abstract

Abstract is missing.