if the action of a transition is only an action of one of the two processes, then there will be a tr – Russian translation

Sign in | English | Terms of Use

Google | Forvo | +

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)

Add | Report an error | Get short URL | Language Selection Tips