@incollection{ConcuToAlgTopo,
author="Gaucher, P.",
title="{From concurrency to algebraic topology.}",
language="English",
booktitle="{Cousot, Patrick (ed.) et al., Geometry and topology in concurrency theory. Workshop, PennState, University Park, PA, USA, August 21, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 39,2, 19 p., electronic only }",
year={2000},
abstract="{Summary: This paper is a survey of the new notions and results
    from the same author scattered in Mathematical Structures in
    Computer Science, volume 10, number 4, august 2000, arxiv:math.CT/9912059
    and arxiv:math.CT/0002216. However the speculations of the last
    two sections are new. Starting from a formalization of higher
    dimensional automata by strict globular omega-categories, the
    construction of a diagram of simplicial sets over a three-object
    small category is exposed. Some of the properties discovered
    so far on the corresponding simplicial homology theories are
    explained, in particular their links with geometric problems
    coming from concurrency theory in computer science.}",
keywords="{higher dimensional automata; strict globular omega-categories}",
classmath="{*68Q10 Modes of computation}",
}