В монографии систематизировано излагаются теория и методы обеспечения корректности параллельных вычислений с точки зрения архитектурного проектирования. Понятие корректности раскрывается через поведенческие свойства вычислительных процессов (детерминированность, однозначность, завершаемость, беступиковость и др.). Условия корректности формулируются на языках параллельного микропрограммирования и параллельных граф-схем алгоритмов. Изучается корректность при синхронных и асинхронных интерпретациях. В качестве абстрактных моделей используются сети Петри и графы вычислений. Проверка условий корректности сводится к анализу поведенческих свойств сетей Петри. Большое внимание уделено методам анализа общих сетей Петри и сетей Петри, моделирующих параллельные граф-схемы алгоритмов. Приведены оригинальные результаты авторов по теории и проектированию архитектуры вычислительных устройств параллельного типа.
Издание предназначено для специалистов по вычислительной технике. Это и многое другое вы найдете в книге Корректность параллельных вычислительных процессов (С. М. Ачасова, О. Л. Бандман)