Labeled homology of higher-dimensional automata

2017/03/22 by Thomas Kahl, Kahl, Thomas
Computer Science · Mathematics · #55N35 #55U15 #68Q45 #68Q60 #68Q85 #Advanced Combinatorial Mathematics #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Geometric and Algebraic Topology #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.1703.07826

openalex publication_date 2017/03/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with the tensor product of HDAs. We also indicate two possible applications of labeled homology in concurrency theory.

Citations

• Flow-Cut Dualities for Sheaves on Graphs

Related

• The homology graph of a higher dimensional automaton
• About the globular homology of higher dimensional automata
• Topological abstraction of higher-dimensional automata
• Combinatorics of branchings in higher dimensional automata
• On the homology language of HDA models of transition systems