@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}",
}