## From Concurrency to Algebraic Topology (2000)

by
Philippe Gaucher

Citations: | 24 - 8 self |

### BibTeX

@MISC{Gaucher00fromconcurrency,

author = {Philippe Gaucher},

title = {From Concurrency to Algebraic Topology},

year = {2000}

}

### OpenURL

### Abstract

This paper is a survey of the new notions and results scattered in [13], [11] and [12]. Starting from a formalization of higher dimensional automata (HDA) by strict globular !-categories, the construction of a diagram of simplicial sets over the three-object small category gl ! + 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.