Russian ⇄ English

Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга stresses
progr.	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 (см. Communicating Sequential Processes by C.A.R. Hoare 1985)