Collection home page

0902 並行計算の理論とその応用   12
(http://hdl.handle.net/2433/59332)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12
BibliographyContents
表紙・目次
   (1995-03)
  数理解析研究所講究録, 902
file type icon
A final coalgebra theorem for concurrent computation
  MORI, Masao, KAWAHARA, Yasuo (1995-03)
  数理解析研究所講究録, 902: 1-9
file type icon
On Reduction-Based Process Semantics
  Honda, Kohei, Yoshida, Nobuko (1995-03)
  数理解析研究所講究録, 902: 10-25
file type icon
A Fully Abstract Denotational Model for Communicating Processes with Label-Passing
  Horita, Eiichi, de Vries, Fer-Jan (1995-03)
  数理解析研究所講究録, 902: 26-48
file type icon
応答型逐次プロセスの部分計算を用いた並列実行(並行計算の理論とその応用)
  村上, 昌己 (1995-03)
  数理解析研究所講究録, 902: 49-63
file type icon
Cost Graphs for Concurrent Calculi
  Kubo, Makoto (1995-03)
  数理解析研究所講究録, 902: 64-79
file type icon
Inductive Synthesis of Recursive Processes from Logical Properties
  Kimura, Shigetomo, Togashi, Atsushi, Shiratori, Norio (1995-03)
  数理解析研究所講究録, 902: 80-102
file type icon
Concurrent Programming in Linear Logic
  Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori (1995-03)
  数理解析研究所講究録, 902: 103-116
file type icon
FGHCプログラムの意味を考える道具としての$\pi$計算(並行計算の理論とその応用)
  平田, 圭二 (1995-03)
  数理解析研究所講究録, 902: 117-132
file type icon
Towards a Formal Framework for Multimedia Data and Their Players With QoS
  田辺, 誠, 中島, 玲二 (1995-03)
  数理解析研究所講究録, 902: 133-144
file type icon
時相論理によるプログラム生成は実用的か?(並行計算の理論とその応用)
  河野, 真治 (1995-03)
  数理解析研究所講究録, 902: 145-155
file type icon
プロセス計算の統合支援環境の構築(並行計算の理論とその応用)
  吉田, 仙, 富樫, 敦, 白鳥, 則郎 (1995-03)
  数理解析研究所講究録, 902: 156-178
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12