Terms containing identical processes

Subject	English	Russian
progr.	However, if the initial choices are the same, and for each initial choice the subsequent behaviours are the same, then obviously the processes are identical	если же множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то очевидно, что процессы тождественны (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
math.	identical processes	тождественные процессы