Алгебраический подход к проектированию распределенных вычислительных систем

Дается алгебраическое описание класса конечных моделей вычислений, реализуемых в современных компьютерах, и правил сборки из них крупномасштабных распределенных вычислительных систем класса Grid. Доказано, что адекватным математическим средством моделирования компьютерныхвы числений служит аппарат полупримальных алгебр, клоны операций которых состоят из всех функций, сохраняющих совокупность их подалгебр. Найдены штрихи Шеффера в клонах операций полупримальных алгебр. Указан критерий возможности привлекать технику доказательства конечнозначных логик для верификации моделей вычислений. Предложено обобщение понятия гомоморфизма, превращающее класс полупримальных алгебр в категорию, которая служит формальным определением дисциплины проектирования распределенных вычислительных систем.