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

Изучается одна из математических моделей параллельных вычислительных процессов – асинхронная система переходов. Предложены способы вычисления групп гомологий и многочлена Пуанкаре конечной асинхронной системы переходов. Получены условия разложимости асинхронной системы переходов в параллельное произведение.