CSPモデルの理論

ホーア [著] ; 吉田信博 訳

[目次]

  • 1 プロセス
  • 2 並行性
  • 3 非決定性
  • 4 通信
  • 5 逐次プロセス
  • 6 共有資源
  • 7 議論

「BOOKデータベース」より

この本の情報

書名 CSPモデルの理論
著作者等 Hoare, Charles Antony Richard
吉田 信博
Hoare C.A.R.
ホーア C.A.R.
書名ヨミ シーエスピー モデル ノ リロン
書名別名 Communicating sequential processes

Shiesupi moderu no riron
出版元 丸善
刊行年月 1992.2
ページ数 246p
大きさ 22cm
ISBN 4621036831
NCID BN07286723
※クリックでCiNii Booksを表示
全国書誌番号
92033333
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想