モービルプロセス計算の型システムについて(計算理論とその応用)
スポンサーリンク
概要
著者
関連論文
- 資源適合型アプリケーション統合開発環境の提案(ソフトウェア工学の基礎)
- 狭帯域電力線搬送でのGUIによる家電の遠隔操作の試み
- 移動エージェントモデルを用いた家電の自律制御の試み
- 情報技術に基づく大学事務支援の情報化に関する基礎と実践研究 (平成13年度情報学部研究プロジェクト報告)
- リモートディスプレイフレームワークによる家電ネッワークの試み
- M-pi計算 : 移動エージェントのための計算体系
- 並行計算の最前線 : タイプシステム
- モーバイルプロセス計算へのいざない
- モービルプロセス計算の型システムについて(計算理論とその応用)
- Polyadicπ計算の型計算システムについて
- π計算に対する視覚化システム
- システム要求仕様化のための状態遷移システム表示インターフェースの開発
- 効果的なソフトウェア開発のためのシステムシミュレータ
- 静岡大学受けた側の立場から
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- π計算に対する様相証明システム
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)