並列処理システムHLCSのCSPによる仕様記述, 設計とAdaによる実現の研究
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 1998-03-06
著者
関連論文
- ワークステーション5台を使用した分散処理システムの開発報告(その1:CORBAとC++によるメッセージ転送システムを例として)
- メッセージ転送システムの仕様記述,解析および動作記述へのCSPの応用とAda95による実現
- 並列処理システムHLCSのCSPによる仕様記述, 設計とAdaによる実現の研究
- 並列処理システムHLCS(Hotline Communication System)のCSPによる仕様記述,設計とAdaによる実現の研究(その2)
- 並列処理システムHLCS(Hotline Communication System)のCSPによる仕様記述,設計とAdaによる実現の研究(その1)