действие некоторого перехода

Terms containing действие некоторого перехода | all forms | in specified order only

Subject	Russian	English
progr.	действие некоторого перехода	action of a transition (ssn)
progr.	если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход	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)