A Recovery Algorithm for Self-Stabilizing Communication Protocols

查看全文 作　　者：Li Layuan & Li Chunlin (Department of Computer Science & Technology, Wuhan nansportation University, 430063, P. R. China) 出　　处：《Journal of Systems Engineering and Electronics》索引2000年第11卷第1期,共9页 基　　金：National Natural Science Foundation of China and NSF of Hubei Province. 摘　　要：This paper presents a recovery algorithm for self-stabilizing communication protocols. It first describes some concepts and a formal description method for the algorithm. Then it proposes the algorithm procedures, proves its correctness and analyses its complexity. Finally, it also verifies the availability and efficiency of the algorithm by illustrating an example protocol with multi-processes. 关 键 词：Computer NETWORKS COMMUNICATION protocols RECOVERY ALGORITHM SELF-STABILIZATION Multimedia COMMUNICATION networks.