The homology graph of a precubical set
From MaRDI portal
Publication:2444581
DOI10.4310/HHA.2014.v16.n1.a7zbMath1287.55005MaRDI QIDQ2444581
Publication date: 10 April 2014
Published in: Homology, Homotopy and Applications (Search for Journal in Brave)
homology graph; higher dimensional automata; precubical set; directed homology; homeomorphic abstraction
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