どこの順序を保存するか?
  * 同じwhen節の中での同じ宛先(Event Type)へ複数のsendの順序関係を保存する *
  am1.am2.am3 | bm4.(am5 | P)
  am1.am2.am3に関係なくbにm4を送りたい。その後にam5を送りたい
一端parallelにしてしまうとその後の同じチャネルに対するアクセスが
順番を保たなくなる。 -> Bufferによる順序付け

　((νc)(sc.cm1.cm2.cm3)) | bm4.(am5 | P)