The Cubical Homology of Trace Monoids

zbMATH Open1284.18027arXiv1110.6293MaRDI QIDQ5408917FDOQ5408917

Authors: Ahmet A. Khusainov 

Publication date: 11 April 2014

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.

Full work available at URL: https://arxiv.org/abs/1110.6293

Recommendations

• scientific article; zbMATH DE number 4065312
• Cubical homotopical algebra and cochain algebras
• Cubical homology and the Leech dimension of free partially commutative monoids
• Cubical homotopy theory
• (Co)homology of cyclic monoids
• The homomorphism problem for trace monoids.
• The Hochschild Homology of Truncated and Quadratic Monomial Algebras
• Homology groups of cubical sets
• On the cyclic homology of monomial relation algebras
• scientific article; zbMATH DE number 1538899

zbMATH Keywords

Petri netsasynchronous transition systemfree partially commutative monoidhomology of small categoriestrace monoidtrace languagessemicubical set

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Chain complexes (category-theoretic aspects), dg categories (18G35) Resolutions; derived functors (category-theoretic aspects) (18G10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Trace spaces in a pre-cubical complex
• The trace space of the \(k\)-skeleton of the \(n\)-cube
• Determinants and Möbius functions in trace monoids
• Cubical homology and the Leech dimension of free partially commutative monoids

This page was built for publication: The Cubical Homology of Trace Monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408917)