Computing the Stabilization Times of Self-Stabilizing Systems

このアイテムのアクセス数:64件（2022-05-18 21:54 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27243

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_E83-A_11_2245	pdf	575 KB	74

タイトル	Computing the Stabilization Times of Self-Stabilizing Systems
著者	Tokuda, Yusuke Tokuda, Yusuke
	Tsuchiya, Tatsuhiro Tsuchiya, Tatsuhiro
	Kikuno, Tohru Kikuno, Tohru
キーワード等	self-stabilization
	stabilization times
	automated analysis
	symbolic representation
	distributed algorithms
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
巻	E83-A
号	11
開始ページ	2245
終了ページ	2252
刊行年月	2000-11-25
ISSN	09168508
URL	http://hdl.handle.net/11094/27243
関連情報 (references)	http://search.ieice.org/
権利情報	Copyright © 2000 The Institute of Electronics, Information and Communication Engineers
言語	英語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences.E83-A(11) P.2245-P.2252
DC.title	Computing the Stabilization Times of Self-Stabilizing Systems
DC.creator	Tokuda, Yusuke
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2000-11-25
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27243
DC.subject	self-stabilization
	stabilization times
	automated analysis
	symbolic representation
	distributed algorithms
DC.rights	Copyright © 2000 The Institute of Electronics, Information and Communication Engineers
citation_title	Computing the Stabilization Times of Self-Stabilizing Systems
citation_author	Tokuda, Yusuke
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
citation_publisher	電子情報通信学会
citation_language	英語
citation_date	2000-11-25
citation_journal_title	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
citation_volume	E83-A
citation_issue	11
citation_firstpage	2245
citation_lastpage	2252
citation_issn	09168508
citation_public_url	http://hdl.handle.net/11094/27243
citation_keywords	self-stabilization
	stabilization times
	automated analysis
	symbolic representation
	distributed algorithms