Geodesic
Some geometric perspectives in concurrency theory
Homology, homotopy, and applications, Tome 5 (2003) no. 2, pp. 95-136.

Voir la notice de l'article provenant de la source International Press of Boston

Concurrency, i.e., the domain in computer science which deals with parallel (asynchronous) computations, has very strong links with algebraic topology; this is what we are developing in this paper, giving a survey of “geometric” models for concurrency. We show that the properties we want to prove on concurrent systems are stable under some form of deformation, which is almost homotopy. In fact, as the “direction” of time matters, we have to allow deformation only as long as we do not reverse the direction of time. This calls for a new homotopy theory: “directed” or di-homotopy. We develop some of the geometric intuition behind this theory and give some hints about the algebraic objects one can associate with it (in particular homology groups). For some historic as well as for some deeper reasons, the theory is at a stage where there is a nice blend between cubical, $\omega$-categorical and topological techniques.
DOI : 10.4310/HHA.2003.v5.n2.a5
Classification : 18F20, 54F05, 55P15, 55U10, 68Q55, 68Q60, 68Q85
Keywords: homology, homotopy, concurrency, cubical sets, di-homotopy 
@article{HHA_2003_5_2_a6,
     author = {Eric Goubault},
     title = {Some geometric perspectives in concurrency theory},
     journal = {Homology, homotopy, and applications},
     pages = {95--136},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {2003},
     doi = {10.4310/HHA.2003.v5.n2.a5},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a5/}
}
TY  - JOUR
AU  - Eric Goubault
TI  - Some geometric perspectives in concurrency theory
JO  - Homology, homotopy, and applications
PY  - 2003
SP  - 95
EP  - 136
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a5/
DO  - 10.4310/HHA.2003.v5.n2.a5
LA  - en
ID  - HHA_2003_5_2_a6
ER  - 
%0 Journal Article
%A Eric Goubault
%T Some geometric perspectives in concurrency theory
%J Homology, homotopy, and applications
%D 2003
%P 95-136
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a5/
%R 10.4310/HHA.2003.v5.n2.a5
%G en
%F HHA_2003_5_2_a6
Eric Goubault. Some geometric perspectives in concurrency theory. Homology, homotopy, and applications, Tome 5 (2003) no. 2, pp. 95-136. doi : 10.4310/HHA.2003.v5.n2.a5. http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a5/

Cité par Sources :