Исследование параллельных систем методами теории категорий Ахмет Хусаинов

Монография состоит из трех частей: первая посвящена применению математических моделей параллельных систем при программировании с помощью многопоточных приложений, вторая - свойствам категории асинхронных систем, третья - связям этой категории с другими категориями математических моделей параллельных систем. Введены консервативные гомоморфизмы между асинхронными системами. Доказано, что категория асинхронных систем и консервативных гомоморфизмов полна и кополна. Построены сопряженные функторы, связывающие категорию асинхронных систем и консервативных гомоморфизмов с категорией многомерных автоматов и морфизмов, сохраняющих независимость. Изложение ориентировано на студентов, магистрантов и аспирантов, знакомых с параллельным программированием и с теорией категорий. Первые главы могут быть использованы при преподавании дисциплины по вычислительным системам. Это и многое другое вы найдете в книге Исследование параллельных систем методами теории категорий (Ахмет Хусаинов)