действие только одного из двух процессов

Terms for subject Programming containing действие только одного из двух процессов | all forms | exact matches only | in specified order only

Russian	English
действие только одного из двух процессов	only an action of one of the two processes (ssn)
если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход	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)