検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| A Fully Abstract Denotational Model for Communicating Processes with Label-Passing Horita, Eiichi; de Vries, Fer-Jan (1995-03) 数理解析研究所講究録, 902: 26-48 |  |
| A final coalgebra theorem for concurrent computation MORI, Masao; KAWAHARA, Yasuo (1995-03) 数理解析研究所講究録, 902: 1-9 | |
| On Reduction-Based Process Semantics Honda, Kohei; Yoshida, Nobuko (1995-03) 数理解析研究所講究録, 902: 10-25 | |
| 表紙・目次 (1995-03) 数理解析研究所講究録, 902 | |
| Inductive Synthesis of Recursive Processes from Logical Properties Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio (1995-03) 数理解析研究所講究録, 902: 80-102 | |
| プロセス計算の統合支援環境の構築(並行計算の理論とその応用) 吉田, 仙; 富樫, 敦; 白鳥, 則郎 (1995-03) 数理解析研究所講究録, 902: 156-178 | |
| 応答型逐次プロセスの部分計算を用いた並列実行(並行計算の理論とその応用) 村上, 昌己 (1995-03) 数理解析研究所講究録, 902: 49-63 | |
| Towards a Formal Framework for Multimedia Data and Their Players With QoS 田辺, 誠; 中島, 玲二 (1995-03) 数理解析研究所講究録, 902: 133-144 | |
| 時相論理によるプログラム生成は実用的か?(並行計算の理論とその応用) 河野, 真治 (1995-03) 数理解析研究所講究録, 902: 145-155 | |
| FGHCプログラムの意味を考える道具としての$\pi$計算(並行計算の理論とその応用) 平田, 圭二 (1995-03) 数理解析研究所講究録, 902: 117-132 | |
絞り込み
発行日
- 12 1995
資料種別