Terms for subject Programming containing sequence in 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)
Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events	в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn)
finite sequence of symbols recording the events in which the process has engaged up to some moment in time	конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn)