Academic Theses
|
|
Basic information
|
| Name | KUBO, Makoto |
| Belonging department | |
| Occupation name | |
| researchmap researcher code | |
| researchmap agency |
 |
π計算とその周辺
|
Joint Author
|
現在盛んに研究が進められている並行計算の形式系であるπ計算を中心とする名前通信プロセス計算の理論的意義について、歴史的背景を紹介したのち、構文要素・操作意味論・プログラミング例を通して一般的に議論する。また、応用および理論の双方について、関連文献の紹介を通じてより詳細な研究への指針を示す。
|
情報処理
|
|
1996/04