Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Dutch
German
Russian
Terms
for subject
Programming
containing
Action Process
|
all forms
English
Russian
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
)
only an action of one of the two processes
действие только одного из двух процессов
(
ssn
)
Get short URL