Cubical Homology of Asynchronous Transition Systems
K-Theory and Homology
2009-05-11 v1 Algebraic Topology
Abstract
We show that a set with an action of a locally finite-dimensional free partially commutative monoid and the corresponding semicubical set have isomorpic homology groups. We build a complex of finite length for the computing homology groups of any asynchronous transition system with finite maximal number of mutually independent events. We give examples of computing the homology groups.
Keywords
Cite
@article{arxiv.0905.1194,
title = {Cubical Homology of Asynchronous Transition Systems},
author = {Ahmet A. Husainov},
journal= {arXiv preprint arXiv:0905.1194},
year = {2009}
}
Comments
21 pages