Terms containing параллельная композиция

Subject	Russian	English
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 composition
progr.	параллельная композиция сетей Петри	parallel composition of the Petri net machines (ssn)
progr.	параллельная композиция четырёх отдельных автоматов	parallel composition of four individual automata (ssn)
progr.	параллельные композиции временных автоматов	parallel compositions of timed automata (ssn)
progr.	позиции параллельной композиции	locations of the parallel composition (ssn)