The cubical homology of trace monoids

Статья содержит обзор результатов автора в области алгебраической топологии, применяемой в компьютерных науках. Описана связь между кубическими группами гомологий обобщенных торов и групп гомологий моноида трасс, действующего частично на множестве. Описаны алгоритмы вычисления групп гомологий асинхронных систем, сетей Петри и трассовых языков Мазуркевича.
Основные результаты статьи доложены на секционном докладе Международной конференции «Торическая топология и автоморфные функции» (5–10 сентября 2011 г., г. Хабаровск, Россия).