No.902

1994/07/25〜1994/07/27

柴山 悦哉

Etsuya Shibayama

目　次

1. A final coalgebra theorem for concurrent computation------------------------------------------------------------------------------1

　　　　Research Institute of Fundamental Informations Science, Kyushu University / Research Institute of Fundamental Informations Science, Kyushu University　　　MORI, Masao / KAWAHARA, Yasuo

　

2. On Reduction-Based Process Semantics---------------------------------------------------------------------------------------------10

　　　　Department of Computer Science, Keio University / Department of Computer Science, Keio University　　　Honda, Kohei / Yoshida, Nobuko

　

3. A Fully Abstract Denotational Model for Communicating Processes with Label-Passing-----------------------------------------------26

　　　　NTT Communication Science Laboratories / NTT Communication Science Laboratories　　　堀田 英一 / ドゥ フリース フェル-ヤン　(Horita, Eiichi / de Vries, Fer-Jan)

　

4. 応答型逐次プロセスの部分計算を用いた並列実行(並行計算の理論とその応用)-----------------------------------------------------------49

　　　　岡山大学工学部　　　村上 昌己　(Murakami, Masaki)

　

5. Cost Graphs for Concurrent Calculi-----------------------------------------------------------------------------------------------64

　　　　Department of Computer Science, Keio University　　　久保 誠　(Kubo, Makoto)

　

6. Inductive Synthesis of Recursive Processes from Logical Properties---------------------------------------------------------------80

　　　　東北大学電気通信研究所 / 東北大学電気通信研究所 / 東北大学電気通信研究所　　　木村 成伴 / 富樫 敦 / 白鳥 則郎　(Kimura, Shigetomo / Togashi, Atsushi / Shiratori, Norio)

　

7. Concurrent Programming in Linear Logic------------------------------------------------------------------------------------------103

　　　　Department of Information Science, University of Tokyo / Department of Information Science, University of Tokyo / Department of Information Science, University of Tokyo　　　Kobayashi, Naoki / Shimizu, Toshihiro / Yonezawa, Akinori

　

8. FGHCプログラムの意味を考える道具としての$\pi$計算(並行計算の理論とその応用)-----------------------------------------------------117

　　　　NTT基礎研究所　　　平田 圭二　(Hirata, Keiji)

　

9. Towards a Formal Framework for Multimedia Data and Their Players With QoS-------------------------------------------------------133

　　　　京都大学数理解析研究所 / 京都大学数理解析研究所　　　田辺 誠 / 中島 玲二　(TANABE, Makoto / NAKAJIMA, Reiji)

　

10. 時相論理によるプログラム生成は実用的か?(並行計算の理論とその応用)--------------------------------------------------------------145

　　　　Sony Computer Science Laboratory Inc.　　　河野 真治　(Kono, Shinji)

　

11. プロセス計算の統合支援環境の構築(並行計算の理論とその応用)---------------------------------------------------------------------156

　　　　東北大学電気通信研究所 / 東北大学電気通信研究所 / 東北大学電気通信研究所　　　吉田 仙 / 富樫 敦 / 白鳥 則郎　(Yoshida, Sen / Togashi, Atsuhi / Shiratori, Norio)