Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
parallel composition
|
all forms
|
exact matches only
|
in specified order only
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.
locations of the
parallel composition
позиции параллельной композиции
(
ssn
)
progr.
parallel composition
параллельное объединение
(
ssn
)
math.
parallel composition
параллельная композиция
progr.
parallel composition
of four individual automata
параллельная композиция четырёх отдельных автоматов
(
ssn
)
progr.
parallel composition
of processes
параллельное объединение процессов
(
ssn
)
progr.
parallel composition
of processes that have no shared state
параллельное объединение процессов, не имеющих общего состояния
(
ssn
)
progr.
parallel composition
of the Petri net machines
параллельная композиция сетей Петри
(
ssn
)
Get short URL