Pi-Calculus - Conceptual Contexture

おもろげ。
業務アプリでどんなワークフローというか状態遷移のような処理が必要とされているかに興味があって

を読んでいたら、理論的基礎としてPi-Calculusがちょこっと触れられていた。
並列プログラミングのモデルとして使われたりするらしいという情報とその名前だけちょろっと聞いたことがあったが、
ビジネスプロセスの理論にも有用となると俄然興味がわいてきた。

を読んで、雰囲気はつかめた。ラムダ計算とErlangのようなメッセージパッシングを混ぜた感じか。

Robin Milner, "The Polyadic pi-Calculus: A Tutorial"
http://citeseer.ist.psu.edu/19489.html

今は上記を読んでいる。面白い。
以下ぐぐって見つけたリンクをメモ。
"An Introduction to the Pi-Calculus"
http://user.it.uu.se/~joachim/intro.ps

A page about the pi calculus (and Business Process Management)
http://www.fairdene.com/picalculus/

Calculi for Mobile Processes
http://move.to/mobility

Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus
http://citeseer.ist.psu.edu/231759.html