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