| Russian | English |
| в синхронном режиме передачи для каждого элемента в потоке данных определяется максимальная задержка сквозной передачи. Если элемент данных был передан значительно быстрее максимально допустимой задержки, это не важно | in synchronous transmission mode, there is a maximum end-to-end delay defined for each unit in a data stream. Whether a data unit is transferred much faster than the maximum tolerated delay is not important (см. Distributed systems: principles and paradigms / Andrew S. Tanenbaum, Maarten Van Steen 2007) |
| если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход | 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) |
| если же множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то очевидно, что процессы тождественны | However, if the initial choices are the same, and for each initial choice the subsequent behaviours are the same, then obviously the processes are identical (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
