После сопоставления локальных значений общих переменных автоматически вызывается повторное доказательство всех нейтральных акторов процесса G, за исключением акторов-представителей портов процесса (см. свойства акторов-представителей в разделе 5.2.2).
Порядок исполнения повторных доказательств акторов в языке не определён.
Согласование акторов считается успешным в том и только в том случае, если завершаются успехом все повторные доказательства.
Примечание. В результате повторного доказательства недетерминированного актора, могут возникать новые точки выбора.
Ссылки: актор 7.1, актор-представитель 5.2.2, исполнение предиката 6.3.1, локальные значения 7.2, нейтральные акторы 7.1, общие переменные 7.2, повторные доказательства 7.1, порт 5.2.2, процесс 5.2, согласование акторов 7.3, сопоставление локальных значений 7.3.1.
Следующий:
7.4. СОГЛАСОВАНИЕ ПРОЦЕССОВ
Предыдущий:
7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ
7.3. СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)