Terms for subject Programming containing некоторый момент времени

Russian	English
конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени	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)
события, в которых процесс участвовал до некоторого момента времени	events in which the process has engaged up to some moment in time (ssn)
фиксированные значения некоторых переменных состояния в заданный конечный момент времени	some state variables specified at a fixed terminal time (ssn)