Computing the Stabilization Times of Self-Stabilizing Systems

Tokuda, Yusuke; Tsuchiya, Tatsuhiro; Kikuno, Tohru

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 2000, E83-A(11), 2245-2252

Number of Access:379（2025-09-03 08:01 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27243

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_E83-A_11_2245 pdf None 575 KB 145 2014.04.03  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
Computing the Stabilization Times of Self-Stabilizing Systems
Creator
CreatorName
Tokuda, Yusuke
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
CreatorName
Tsuchiya, Tatsuhiro
NRID
1000050093745 1000050093745
CreatorName
Kikuno, Tohru
Subject
self-stabilization
stabilization times
automated analysis
symbolic representation
distributed algorithms
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Volume (Issue)
E83-A(11)
Page
2245-2252
Date of Issued
2000-11-25
Language
English
Handle URL
https://hdl.handle.net/11094/27243
PISSN
09168508
Relation.references
URI
http://search.ieice.org/
Access Rights
open access
CopyRight
Copyright © 2000 The Institute of Electronics, Information and Communication Engineers
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article