メモリ・コンシステンシ・モデルの形式的仕様記述と検証に関する研究

メモリ・コンシステンシ・モデルの形式的仕様記述と検証に関する研究

メモリ コンシステンシ モデル ノ ケイシキテキ シヨウ キジュツ ト ケンショウ ニ カンスル ケンキュウ

高田司郎

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

学位論文

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

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

1

R000827

2

  • [IS]1999

禁帯出

詳細情報

刊年

1999

シリーズ名

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

注記

学位記番号: 博第42号

報告番号: 甲第42号

授与年月日: 1999/03/24

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

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

高田, 司郎 (タカタ, シロウ)

件名

メモリ・コンシステンシ・モデル

分散共有メモリ

形式手法

Z

CCS

ベクトル時計