Search results 8
Paper図書
National Diet Library
- Subject Headingプログラム変換 部分計算 並行プロセス π計算 並行論理型言語 CSP 並行化 true conc...
Paper図書
National Diet Library
- Subject Heading並行プロセス 自動合成 帰納推論 時制論理 等価性 μ計算 プロセス記述...
Paper図書
National Diet Library
- Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム...
Paper図書
National Diet Library
- Subject Heading通信プロトコル 並行プロセス LOTOS マルチランデブ ハードウエア化 高位レベル合成...
Paper図書
National Diet Library
- Subject Heading大規模分散システム 実時間計算 オブジエクト指向 並行プロセス計算 スケジユーリング アルゴリズム DROL Dt CCS
Paper図書
National Diet Library
- Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム...
Paper図書
National Diet Library
- Subject Heading非停止プロセス 等式論理 代数的仕様記述 並行プロセス CCS 木パターンマツチング
Reached to the end of result.