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} .