The Cubical Homology of Trace Monoids
From MaRDI portal
Publication:5408917
Petri netsasynchronous transition systemfree partially commutative monoidhomology of small categoriestrace monoidtrace languagessemicubical set
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)
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.
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
Cited in
(4)
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)
