This article is cited in 1 scientific paper (total in 1 paper)
The cubical homology of trace monoids
A. A. Khusainov
Komsomolsk-on-Amur State Technical University
This article contains an overview of the results of the author's study
in the 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.
The main results of the paper were reported at the International conference «Toric Topology and Automorphic Functions» (September, 5–10th, 2011, Khabarovsk, Russia).
semicubical set, homology of small categories, free partially commutative monoid,
trace monoid, asynchronous transition system, Petri nets, trace languages.
PDF file (277 kB)
512.66, 513.83, 519.7
MSC: Primary 18G10; Secondary 18G35, 55U10, 68Q10, 68Q85
A. A. Khusainov, “The cubical homology of trace monoids”, Dal'nevost. Mat. Zh., 12:1 (2012), 108–122
Citation in format AMSBIB
\paper The cubical homology of trace monoids
\jour Dal'nevost. Mat. Zh.
Citing articles on Google Scholar:
Related articles on Google Scholar:
This publication is cited in the following articles:
A. A. Husainov, “Homology and bisimulation of asynchronous transition systems and Petri nets”, Sib. elektron. matem. izv., 11 (2014), 863–877
|Number of views:|