Terms containing action of a transition

Subject	English	Russian
progr.	A computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions	Вычислительная модель, состоящая из конечного числа состояний и переходов между этими состояниями, возможно с сопутствующими действиями (о конечном автомате в IEEE 610 ssn)
progr.	action of a transition	действие некоторого перехода (ssn)
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)