The Cubical Homology of Trace Monoids

zbMath1284.18027arXiv1110.6293MaRDI QIDQ5408917

Ahmet A. Khusainov

Publication date: 11 April 2014

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

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

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