Russian ⇄ English

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