分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として

分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として

ブンサン アルゴリズム ノ CCS ニヨル キジュツ ト ケイシキテキ ケンショウ : ネットワーク グラフ ドウテイ モンダイ オ レイ トシテ

鍵本聡

生駒 : 奈良先端科学技術大学院大学, 1999.3

学位論文

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R000871

2

  • [IS]1999(3)

禁帯出

詳細情報

刊年

1999

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1999年3月

注記

学位記番号: 修第905号

授与年月日: 1999/03/24

学位の種類: 修士(工学)

学生番号: 9751028

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

鍵本, 聡 (1966-) (カギモト, サトシ) [ Kagimoto, Satoshi ] [ Kagimoto, Satosi ]

件名

分散アルゴリズム

プロセス代数

CCS

様相μ計算

Tableau Proof