sequence of events recording

Terms for subject Programming containing sequence of events recording | all forms

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