English ⇄ Russian

the convention is that when a process reaches the node at the tail of the arrow, it immediately and imperceptibly goes back to the node to which the arrow points stresses
progr.	Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга (см. Communicating Sequential Processes by C.A.R. Hoare 1985)