スポンサーリンク
情報科学研究科 | 論文
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- 再帰プロセスのための等価性判定およびエラー検出アルゴリズム
- LOTOS言語教育支援環境のためのプロセスの誤り検出法
- MSCからのプロセス合成(アルゴリズムと計算量理論)
- Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
- Inductive Synthesis of Recursive Processes from Logical Properties
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- プロセス合成のための支援環境とその試作
- μ-calclusによる再帰プロセスの合成アルゴリズム
- 汎用並行プロセス計算システムの設計開発
- プロセスの枚挙に基づいた代表的プロセスの合成
- 様相論理式による基本プロセスの合成アルゴリズム
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 3U-1 アプリケーションに対するネットワーク情報提供手法の考察
- 研究活動における参加者活動特性の獲得と利用
スポンサーリンク