Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/20
Vol. E83-A
No. 11
pp. 2245-2252
Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology)
Category:
Keyword:
self-stabilization,
stabilization times,
automated analysis,
symbolic representation,
distributed algorithms,
|
