Cubical Homology of Asynchronous Transition Systems

2009/05/08 by Ahmet A. Husainov, Husainov, Ahmet A.
Mathematics · #18G10 #18G35 #55U10 #68Q10 #68Q85 #Algebraic Topology (math.AT) #FOS: Mathematics #K-Theory and Homology (math.KT) #math.AT #math.KT #msc:18G10 #msc:18G35 #msc:55U10 #msc:68Q10 #msc:68Q85

paper · pdf · doi:10.48550/arxiv.0905.1194

21 pages

arxiv created 2009/05/08 · arxiv updated 2009/12/01

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.

Related

• On the Cubical Homology Groups of Free Partially Commutative Monoids
• The Cubical Homology of Trace Monoids
• The Homology Groups of a Partial Trace Monoid Action
• On the homology of simplicial and cubical sets with symmetries
• Labeled homology of higher-dimensional automata