著者

河辺 義信 真野 健 堀田 英一 小暮 潔

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.85, no.3, pp.249-261, 2002-03-01

---

プロセス代数π-計算は,プロセス間の通信リンクの動的接続を表現できる形式モデルである.本論文では,π-計算の実装に必要となる通信リンクの実装方法について述べる.π-計算では,通信リンクを「名前制限」と呼ばれる概念で形式化する.一方,実装では通信リンクは「名前生成」で扱うのが容易である.両者の同等性の形式的な証明は与えられていない.また,π-計算に対してデータタイプを加えた体系では,両者の同等性に関する反例が存在する.本論文では,データタイプ部を加えたπ-計算を扱い,名前制限と名前生成の同等性を論じる.