鈴木, 大郎, 会津大学2001-2002<Y151-H13680388>
国立国会図書館
- 件名プロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論...
富樫, 敦, 静岡大学2000-2001<Y151-H12680343>
国立国会図書館
- 件名移動エージエント プロセス計算 計算モデル 開放系 分散システム ソフトウエアアーキテクチ...
富樫, 敦, 東北大学1993-1995<Y151-H05680262>
国立国会図書館
- 件名並行プロセス 自動合成 帰納推論 時制論理 等価性 μ計算 プロセス記述 プロセス計算
富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高...
所, 真理雄, 慶応義塾大学1994-1996<Y151-H06452244>
国立国会図書館
- 件名大規模分散システム 実時間計算 オブジエクト指向 並行プロセス計算 スケジユーリング アルゴリズム DROL Dt CCS
富樫, 敦, 静岡大学1996-1997<Y151-H08680343>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高...