English ⇄ Russian

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 stresses
progr.	Протоколом поведения процесса называется конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)