параллельные композиции временных автоматов

Terms for subject Programming containing параллельные композиции временных автоматов | all forms | in specified order only

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