The Cubical Homology of Trace Monoids
classification
🧮 math.AT
cs.MAmath.KT
keywords
homologygroupstracecubicalactionsalgebraicalgorithmsarticle
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.