彼はラベルをアクションとも呼んでいる。アクションの全体は、B + {τ} + in(X) + out(Y) となる。Bを固有アクションと呼ぼう（これは by檜山）。セリンガーの用語では： B + {τ} を内部アクション in(X) を入力アクション out(Y) を出力アクション X→BY とい…