Английский ⇄ Русский

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)