稲垣, 康善, 名古屋大学1996-1997<Y151-H08458066>
国立国会図書館
- 件名並行プログラミング 通信プロセスモデル 形式意味論 プログラミング環境 デバツ...
小林, 直樹, 東京大学1998-2000<Y151-H10558040>
国立国会図書館
- 件名線形論理 型システム デツドロツク 分散プログラミング言語 並行プログラミング言語 オブジエクト指向 部分評価
富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系
富樫, 敦, 静岡大学1996-1997<Y151-H08680343>
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系