The homology graph of a precubical set

DOI10.4310/HHA.2014.v16.n1.a7zbMath1287.55005MaRDI QIDQ2444581

Thomas Kahl

Publication date: 10 April 2014

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

zbMATH Keywords

homology graph; higher dimensional automata; precubical set; directed homology; homeomorphic abstraction

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

55U10: Simplicial sets and complexes in algebraic topology

55N99: Homology and cohomology theories in algebraic topology

Related Items

Weak equivalence of higher-dimensional automata, Topological abstraction of higher-dimensional automata, Labeled homology of higher-dimensional automata