About the globular homology of higher dimensional automata
<|reference_start|>About the globular homology of higher dimensional automata: 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.<|reference_end|>
@article{gaucher2000about,
    title={About the globular homology of higher dimensional automata},
    author={Philippe Gaucher},
    journal={Cahiers de Topologie et Geometrie Differentielle Categoriques,
  p.107-156, vol XLIII-2 (2002)},
    year={2000},
    archivePrefix={arXiv},
    eprint={math/0002216},
    primaryClass={math.CT cs.OH math.AT}
}