村上, 昌己, 岡山大学1995-1997<Y151-H07680359>
国立国会図書館
- 件名プログラム変換 部分計算 並行プロセス π計算 並行論理型言語 CSP 並行化 true conc...
富樫, 敦, 東北大学1993-1995<Y151-H05680262>
国立国会図書館
- 件名並行プロセス 自動合成 帰納推論 時制論理 等価性 μ計算 プロセス記述...
富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム...
谷口, 健一, 大阪大学1997-1998<Y151-H09680339>
国立国会図書館
- 件名通信プロトコル 並行プロセス LOTOS マルチランデブ ハードウエア化 高位レベル合成...
田中, 俊一, 九州大学1986-1987<Y151-S61460005>
国立国会図書館
所, 真理雄, 慶応義塾大学1994-1996<Y151-H06452244>
国立国会図書館
- 件名大規模分散システム 実時間計算 オブジエクト指向 並行プロセス計算 スケジユーリング アルゴリズム DROL Dt CCS
富樫, 敦, 静岡大学1996-1997<Y151-H08680343>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム...
坂部, 俊樹, 名古屋大学1988-1989<Y151-S63580025>
国立国会図書館
- 件名非停止プロセス 等式論理 代数的仕様記述 並行プロセス CCS 木パターンマツチング