Search results 6
Paper図書
National Diet Library
- Subject Headingプロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論...
Paper図書
National Diet Library
- Subject Heading移動エージエント プロセス計算 計算モデル 開放系 分散システム ソフトウエアアーキテクチ...
Paper図書
National Diet Library
- Subject Heading並行プロセス 自動合成 帰納推論 時制論理 等価性 μ計算 プロセス記述 プロセス計算
Paper図書
National Diet Library
- Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高...
Paper図書
National Diet Library
- Subject Heading大規模分散システム 実時間計算 オブジエクト指向 並行プロセス計算 スケジユーリング アルゴリズム DROL Dt CCS
Paper図書
National Diet Library
- Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高...
Reached to the end of result.