Terms containing behaviour of a process

Subject	English	Russian
progr.	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)
progr.	behaviour of a process	поведение процесса (ssn)
progr.	trace of the behaviour of a process	протокол поведения процесса (ssn)