Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 242 стр.

         5.1.3. Пример построения структуры распределен
                ной системы МПУ по управляющему алгоритму
                с взаимодействующими параллельными
                ветвями . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
   5.2. Структурная реализация систем МПУ, заданных
         моделью НДА, на основе использования унитарного
         кодирования частных событий . . . . . . . . . . . . . . . . . . . . . . . . .
         5.2.1. Одноуровневая организация структуры
                системы МПУ для унитарного кодирования
                частных событий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
         5.2.2. Двухуровневая организация структуры МПУ для
                унитарного кодирования частных событий . . . . . . . . . .
    5.3. Некоторые операции композиции систем канонических уравнений и
         их структурная интерпретация . . . . . . . . . . . . . . . . . . . . . . .
    5.4. Контроль правильности построения функций
          возбуждения элементов памяти систем МПУ . . . . . . . . . . . .
Глава 6. Формализация алгоритмов управления взаимодействующими
          процессами для организации параллельной
          обработки информации . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
    6.1. Общие сведения о процессах и их
          взаимодействиях . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
    6.2. Формализация простейших базовых структур
          управления взаимодействующими процессами . . . . . . . . . . .
    6.3. Формализация функций взаимоисключения критических интервалов
         (участков), обеспечивающих доступ к общим разделяемым данным
         (общему ресурсу) для двух процессов . . . . . . . . . . . .
    6.4. Формализация алгоритма управления взаимодействующими
         параллельными процессами при обращении к разделяемым данным
         (общему ресурсу) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
         6.4.1. Формализация алгоритма управления взаимодей
                 ствующими параллельными процессами при обращении к
                 разделяемым данным для двух процессов . . . . . . . . . .
         6.4.2. Формализация алгоритма управления
                 взаимодействующими параллельными процессами при
                 обращении к разделяемым данным (общему ресурсу)
                 для n процессов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
    6.5. Формализация алгоритма управления
          взаимодействующими параллельными процессами
          в задаче «производители- потребители» . . . . . . . . . . . . . . . . .
    6.6. Формализация алгоритмов управления взаимо
          действующими параллельными процессами в задаче
          «читатели-писатели» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

                                                                                                    242