2015/06/07 by Thomas Kahl, Kahl, Thomas
Computer Science · Mathematics · #55N35 #55U99 #68Q45 #68Q85 #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #cs.FL #math.AT #msc:55N35 #msc:55U99 #msc:68Q45 #msc:68Q85
paper · pdf · doi:10.48550/arxiv.1506.02270
25 pages, 8 figures
arxiv created 2015/06/07 · arxiv updated 2015/06/09
Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss "topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from both a computer scientific and a topological point of view. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.