Cтраница 2
Итак, внутренний недетерминизм однозначных процессов ( см. определения 2.2 и 2.3) может не нарушать свойства непрерывности процессов, в отличие от недетерминизма внешнего. Внешний недетерминизм проявляется в том, что последовательность выходных сообщений не определяется однозначно последовательностью входных сообщений. Иными словами, процессы вычислений не являются однозначными. Применительно к сетям процессов Кана [113, 123], например, внешний недетерминизм означает, что истории внутренних и выходных каналов сети не полностью определяются историями входных каналов. [16]