2.π-計算とその周辺 (<特集>並行計算の理論の最近の動向)
スポンサーリンク
概要
- 論文の詳細を見る
- 1996-04-15
著者
関連論文
- 通信を基礎としたプログラミングのための構造化プリミティブ(I)記述と意味論
- ν計算・並行結合子・プログラミング言語
- ν計算・並行結合子・プログラミング言語
- 名前通信プロセス計算の並行コンビネータ
- FPCA '93
- 2.π-計算とその周辺 (並行計算の理論の最近の動向)
- 共有環境を用いた弱λ-計算における最適簡約定理
- 並行計算のための簡約意味論
- 簡約意味論の理論と実践
- 構造化通信におけるプロトコル不整合のコスト解析
- 構造化通信を基礎としたプログラミング言語の簡約意味論(山本英男先生退職記念号)