DictionaryForumContacts

   English
Terms for subject Programming containing up to the moment | all forms
EnglishRussian
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)
finite sequence of symbols recording the events in which the process has engaged up to some moment in timeконечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn)