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

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

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

高田司郎

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

Thesis / Diss.

There are further volumes for this material.

Show other volumes

Volume No.

要旨
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R004374

Details

Publication year

1999

Series title

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

Note

学位記番号: 博第42号

報告番号: 甲第42号

授与年月日: 1999/03/24

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

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

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

Subject

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

分散共有メモリ

形式手法

Z

CCS

ベクトル時計