Geodesic
State spaces and dipaths up to dihomotopy
Homology, homotopy, and applications, Tome 5 (2003) no. 2, pp. 257-280.

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

Geometric models have been used by several authors to describe the behaviour of concurrent sytems in computer science. A concurrent computation corresponds to an oriented path (dipath) in a (locally) partially ordered state space, and dihomotopic dipaths correspond to equivalent computations. This paper studies several invariants of the state space in the spirit of those of algebraic topology, but taking partial orders into account as an important part of the structure. We use several categories of fractions of the fundamental category of the state space and define and investigate the related quotient categories of “components”. For concurrency applications, the resulting categories can be interpreted as a dramatic reduction of the size of the state space to be considered.
DOI : 10.4310/HHA.2003.v5.n2.a9
Classification : 51H15, 54Exx
Keywords: abstract homotopy theory, dihomotopy theory 
@article{HHA_2003_5_2_a10,
     author = {Martin Raussen},
     title = {State spaces and dipaths up to dihomotopy},
     journal = {Homology, homotopy, and applications},
     pages = {257--280},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {2003},
     doi = {10.4310/HHA.2003.v5.n2.a9},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a9/}
}
TY  - JOUR
AU  - Martin Raussen
TI  - State spaces and dipaths up to dihomotopy
JO  - Homology, homotopy, and applications
PY  - 2003
SP  - 257
EP  - 280
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a9/
DO  - 10.4310/HHA.2003.v5.n2.a9
LA  - en
ID  - HHA_2003_5_2_a10
ER  - 
%0 Journal Article
%A Martin Raussen
%T State spaces and dipaths up to dihomotopy
%J Homology, homotopy, and applications
%D 2003
%P 257-280
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a9/
%R 10.4310/HHA.2003.v5.n2.a9
%G en
%F HHA_2003_5_2_a10
Martin Raussen. State spaces and dipaths up to dihomotopy. Homology, homotopy, and applications, Tome 5 (2003) no. 2, pp. 257-280. doi : 10.4310/HHA.2003.v5.n2.a9. http://geodesic.mathdoc.fr/articles/10.4310/HHA.2003.v5.n2.a9/

Cité par Sources :