Terms for subject Programming containing конечная последовательность символов, фиксирующая события

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