DictionaryForumContacts

   Russian
Terms for subject Programming containing последовательность моментов | all forms
RussianEnglish
конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени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)