Terms for subject Programming containing finite-time

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)
activity executes for a finite amount of time	деятельность занимает конечное время (ssn)
to execute for a finite amount of time	занимать конечное время (ssn)
finite amount of time	конечный отрезок времени (ssn)
finite amount of time	конечное время (ssn)
finite sequence of symbols recording the events in which the process has engaged up to some moment in time	конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn)
only a finite number of transitions can happen within a finite amount of time	лишь конечное количество переходов может произойти за конечный отрезок времени (ssn)
take finite time	выполняться в течение некоторого ограниченного времени (ssn)