コレクションホームページ
0902 並行計算の理論とその応用
12
0902 並行計算の理論とその応用
12
(http://hdl.handle.net/2433/59332)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 12 / 12
書誌情報 | ファイル |
---|---|
表紙・目次 (1995-03) 数理解析研究所講究録, 902 | |
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 | |
A Fully Abstract Denotational Model for Communicating Processes with Label-Passing Horita, Eiichi; de Vries, Fer-Jan (1995-03) 数理解析研究所講究録, 902: 26-48 | |
応答型逐次プロセスの部分計算を用いた並列実行(並行計算の理論とその応用) 村上, 昌己 (1995-03) 数理解析研究所講究録, 902: 49-63 | |
Cost Graphs for Concurrent Calculi Kubo, Makoto (1995-03) 数理解析研究所講究録, 902: 64-79 | |
Inductive Synthesis of Recursive Processes from Logical Properties Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio (1995-03) 数理解析研究所講究録, 902: 80-102 | |
Concurrent Programming in Linear Logic Kobayashi, Naoki; Shimizu, Toshihiro; Yonezawa, Akinori (1995-03) 数理解析研究所講究録, 902: 103-116 | |
FGHCプログラムの意味を考える道具としての$\pi$計算(並行計算の理論とその応用) 平田, 圭二 (1995-03) 数理解析研究所講究録, 902: 117-132 | |
Towards a Formal Framework for Multimedia Data and Their Players With QoS 田辺, 誠; 中島, 玲二 (1995-03) 数理解析研究所講究録, 902: 133-144 | |
時相論理によるプログラム生成は実用的か?(並行計算の理論とその応用) 河野, 真治 (1995-03) 数理解析研究所講究録, 902: 145-155 | |
プロセス計算の統合支援環境の構築(並行計算の理論とその応用) 吉田, 仙; 富樫, 敦; 白鳥, 則郎 (1995-03) 数理解析研究所講究録, 902: 156-178 |
文献一覧(目次の昇順ソート): 1 - 12 / 12