Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing parallel composition | all forms | exact matches only | in specified order only
EnglishRussian
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automatonесли действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
locations of the parallel compositionпозиции параллельной композиции (ssn)
parallel compositionпараллельное объединение (ssn)
parallel composition of four individual automataпараллельная композиция четырёх отдельных автоматов (ssn)
parallel composition of processesпараллельное объединение процессов (ssn)
parallel composition of processes that have no shared stateпараллельное объединение процессов, не имеющих общего состояния (ssn)
parallel composition of the Petri net machinesпараллельная композиция сетей Петри (ssn)

Get short URL