DictionaryForumContacts

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