Execution of Distributed Systems described in LOTOS and its Visualization

安本, 慶一

アクセス数:573件（2025-07-11 23:25 集計）

固定URL: https://doi.org/10.11501/3110262

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
12590_Abstract	pdf	なし	169 KB	84	2014.08.04	要旨/Abstract
12590_Dissertation	pdf	なし	648 KB	111	2012.09.22	論文/Dissertation

タイトル	Execution of Distributed Systems described in LOTOS and its Visualization
	LOTOSで記述された分散システムの実行とその可視化
	LOTOS　デ　キジュツ　サレタ　ブンサン　システム　ノ　ジッコウ　ト　ソノ　カシカ
著者	NRID 1000040273396 1000040273396 著者名安本, 慶一 ; ヤスモト, ケイイチ ; Yasumoto, Keiichi
学位名	博士（工学）
学位授与年月日	1996-03-25
学位授与機関	大阪大学
学位授与番号	乙第06927号
学位記番号	12590
言語	英語
ハンドルURL	https://hdl.handle.net/11094/2085
DOI	https://doi.org/10.11501/3110262
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文本文あり / その他 / 1995年度
カテゴリ	博士論文 / その他 / 1995年度

資源タイプ	博士論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	大阪大学, 1996, 博士論文
DC.title	Execution of Distributed Systems described in LOTOS and its Visualization
	LOTOSで記述された分散システムの実行とその可視化
	LOTOS　デ　キジュツ　サレタ　ブンサン　システム　ノ　ジッコウ　ト　ソノ　カシカ
DC.creator	安本, 慶一
	ヤスモト, ケイイチ
	Yasumoto, Keiichi
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1996-03-25
DC.identifier	10.11501/3110262
DC.format	2085
citation_title	Execution of Distributed Systems described in LOTOS and its Visualization
citation_author	安本, 慶一
citation_language	英語
citation_public_url	https://hdl.handle.net/11094/2085
citation_date	1996-03-25
citation_doi_detail	10.11501/3110262
citation_doi	https://doi.org/10.11501/3110262