富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高...
所, 真理雄, 慶応義塾大学1994-1996<Y151-H06452244>
国立国会図書館
- 件名大規模分散システム 実時間計算 オブジエクト指向 並行プロセス計算 スケジユーリング アルゴリズム DROL Dt CCS
富樫, 敦, 静岡大学1996-1997<Y151-H08680343>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高...