One of the processes

Terms for subject Programming containing One of the processes | 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)
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)