English ⇄ Russian

Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same stresses
progr.	Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)