Robin Milner, "The Polyadic pi-Calculus: A Tutorial" http://citeseer.ist.psu.edu/19489.html
2.2 Some simple examples
例から。以下、プロセスの例。プロセス≒式のようなかんじ。式を合成できるように、プロセスとプロセスを合成してプロセスができる。
プロセスPとプロセスQを縦棒|で区切って合成すると、PとQを並列に実行するという意味になる。
xy.0|x(u).uv.0|xz.0