Terms containing finite sequence of symbols

Subject	English	Russian
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)
progr.	finite sequence of symbols	конечная последовательность символов (ssn)
progr.	finite sequence of symbols recording the events	конечная последовательность символов, фиксирующая события (ssn)
progr.	finite sequence of symbols recording the events in which the process has engaged up to some moment in time	конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn)