DictionaryForumContacts

   English
Terms for subject Programming containing parallel action | all forms
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)
parallel cascade actionпараллельное каскадное регулирование (ssn)