π計算とその周辺

現在盛んに研究が進められている並行計算の形式系であるπ計算を中心とする名前通信プロセス計算の理論的意義について、歴史的背景を紹介したのち、構文要素・操作意味論・プログラミング例を通して一般的に議論する。また、応用および理論の双方について、関連文献の紹介を通じてより詳細な研究への指針を示す。

情報処理