The Cubical Homology of Trace Monoids

zbMATH Open1284.18027arXiv1110.6293MaRDI QIDQ5408917FDOQ5408917

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

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 (3)

• 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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Cubical homotopical algebra and cochain algebras 👍 👎
• Cubical homology and the Leech dimension of free partially commutative monoids 👍 👎
• Title not available (Why is that?) 👍 👎
• (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 👍 👎
• Title not available (Why is that?) 👍 👎

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)