ホーアCSPモデルの理論
著者
書誌事項
ホーアCSPモデルの理論
丸善, 1992.2
- タイトル別名
-
CSPモデルの理論
Communicating sequential processes
- タイトル読み
-
ホーア CSP モデル ノ リロン
大学図書館所蔵 件 / 全82件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[237]-238
索引: p[241]-246
内容説明・目次
目次
- 1 プロセス
- 2 並行性
- 3 非決定性
- 4 通信
- 5 逐次プロセス
- 6 共有資源
- 7 議論
「BOOKデータベース」 より