名前通信プロセス計算の並行コンビネータ
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,名前通信並行プロセス計算のコンビネータ理論を提案する.関数型コンビネータが有限の組み合わせで計算可能な高階関数を表現する新たな基盤を与えたように,この並行コンビネータも非同期名前通信を細密に分解することによって導出され,その有限個の並行合成と相互作用計算で名前通信プロセス計算と同等の計算を表現するという新たな枠組みを提供する.まず本稿では,非同期名前通信計算の7つのコンビネータとそれら2者間の相互作用則を定義し,動作意味論を等式理論を基盤に展開する.次に,それらの並行合成と名前制限のみで名前通信計算のプレフィックスが動作的に表現できることを述べ,さらにこの結果の拡張として同期名前通信,多引数名前通信,分岐構造が表現できることを示す.最終的には本稿の並行コンビネータ系と非同期名前通信プロセス計算の一対一対応が示されることにより,この理論体系が名前通信プロセス計算族における結果を引き継ぐことを示す.
- 日本ソフトウェア科学会の論文
- 1996-07-15
著者
関連論文
- 英国からの報告
- ν計算・並行結合子・プログラミング言語
- ν計算・並行結合子・プログラミング言語
- 名前通信プロセス計算の並行コンビネータ
- FPCA '93
- 2.π-計算とその周辺 (並行計算の理論の最近の動向)
- 共有環境を用いた弱λ-計算における最適簡約定理
- 並行計算のための簡約意味論
- 簡約意味論の理論と実践