Terms containing the convention is that when

Subject	English	Russian
progr.	the convention is that when	Условимся, что когда ...
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)