Yusuke TOKUDA


Computing the Stabilization Times of Self-Stabilizing Systems
Tatsuhiro TSUCHIYA Yusuke TOKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11  pp. 2245-2252
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
self-stabilizationstabilization timesautomated analysissymbolic representationdistributed algorithms
 Summary | Full Text:PDF(573.4KB)