Terms containing parallel automaton

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)
math.	parallel automaton	параллельный автомат (ssn)
progr.	parallel composition of four individual automata	параллельная композиция четырёх отдельных автоматов (ssn)
progr.	parallel compositions of timed automata	параллельные композиции временных автоматов (ssn)
math.	problem of race-free state assignment of asynchronous parallel automata	задача противогоночного кодирования состояний асинхронных параллельных автоматов (ssn)
math.	race-free state assignment of asynchronous parallel automata	противогоночное кодирование состояний асинхронных параллельных автоматов (ssn)
math.	state assignment of asynchronous parallel automata	кодирование состояний асинхронных параллельных автоматов (ssn)