A Very Brief Introduction to the Pi-Calculus (in Japanese)

π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |

[dhrname]

パイ計算について　>π-calculus は、（中略）　並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算

[Jxck]

π-calculus(pi-calculus)

[anatoo]

へー

[takuto_h]

π計算

[kazutanaka]

π計算

[Gemma]

π計算 超入門

[yowa]

> π-calculus 超入門

[nanakoso]

π計算-並列処理モデル

[another]

「すべてのものをプロセスで表す」パラダイム。Erlangより遥かに過激。Unixの用語で言うと、名前つきパイプを更にパイプに食わせるのをパラダイムの基礎としている。

[r-west]

π-calculus 超入門

[jjzak]

π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つ

[todesking]

Π計算：並列計算モデルのひとつ。プロセスとチャネルで計算を表現

[yujiorama]

マルチコア時代の教養