Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
containing
One of the processes
|
all forms
Subject
English
Russian
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
)
progr.
only an action of one of the two processes
действие только одного из двух процессов
(
ssn
)
gen.
Phase one of the award process
Первый этап процесса выдачи заказов
(
Voledemar
)
d.b..
process of inferring additional true propositions from the given ones
процесс логического вывода дополнительных истинных высказываний из существующих высказываний
(
ssn
)
progr.
the degenerate case of a system of concurrent processes is a system with exactly one process
Вырождённым случаем параллельной системы обработки является система с одним процессом
(см.
Petri Net Theory And The Modeling Of Systems / James L. Peterson
1981
)
Get short URL