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