The Cubical Homology of Trace Monoids

Abstract

This article contains an overview of the results of the author in a field of algebraic topology used in computer science. The relationship between the cubical homology groups of generalized tori and homology groups of partial trace monoid actions is described. Algorithms for computing the homology groups of asynchronous systems, Petri nets, and Mazurkiewicz trace languages are shown.

21 pages, International Conference "Toric Topology and Automorphic Functions'' September 05-10, 2011 Khabarovsk

References in corpus (2)

• About the globular homology of higher dimensional automata
• Global Dimension of Polynomial Rings in Partially Commuting Variables

Cited by in corpus (1)

• Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets