PAでは、PAP(Process Algebra for Parallelism)にデッドロック
とencapsulation 
を追加した
ものを ACP(Algebra of Communicating Processes)と呼ぶのだが*1
やっとencapsulation の意味がわかった。
これは、通信実行（同期実行）を強制するためのオペレーションなんだ。
つまり
に対して、
を作用させると、
b,c単独の遷移を抑制（なぜならばb,cはに置き換えられてすすまない)されて、結果として
と同等になるっってこと！！
