P {\displaystyle {\overline {c}}\langle y\rangle .P} describes that the name y {\displaystyle y} is emitted on channel c {\displaystyle c} before proceeding as P {\displaystyle P} .
P {\displaystyle {\overline {c}}\langle y\rangle .P} описывает, что имя y {\displaystyle y} передаётся через канал c {\displaystyle c} , перед тем как продолжаться как P {\displaystyle P} .