Russian ⇄ English

Протоколом поведения процесса называется конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени stresses
progr.	A trace of the behaviour of a process is a finite sequence of symbols recording the events in which the process has engaged up to some moment in time (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)