About the globular homology of higher dimensional automata
arXiv:math/0002216
Abstract
We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of math.CT/9902151 disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.
44 pages ; LaTeX2e, 1 figure ; final version to appear in CTGDC