π-calculusって計算体系があるヨ＞マルチスレッド
petri-netとかよりは普通の並列プログラムに近い。