Формальная модель структур данных и абстрактных алгоритмов для многопроцессорных вычислительных систем

Рассматриваются особенности представления данных в многопроцессорных вычислительных системах и дается формальная модель, позволяющая рассматривать программирование на них как отображение абстрактных алгоритмов на физически реализуемые алгоритмы, т.е. как отображение абстрактных структур данных на структуру памяти ЭВМ.