ドウキ イベント オ モチイタ プロセス ブンカイホウ ニ カンスル ケンキュウ
喜家村奨
生駒 : 奈良先端科学技術大学院大学, 2003.12
この資料には他にも巻号があります。
他の巻号を見る
1
R002736
2
禁帯出
2003
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2003年12月
学位記番号: 博第363号
報告番号: 甲第363号
授与年月日: 2003/12/17
学位の種類: 博士(工学)
日本語 (jpn)
喜家村, 奨 (キヤムラ, ススム)
並列システム
ラベル付き遷移システム
プロセス分解
カウンタプロセス
弱双模倣等価
並列システムラベル付き遷移システムプロセス分解カウンタプロセス弱双模倣等価
