Dipaths and dihomotopies in a cubical complex

Advances in Applied Mathematics

Volumn 35, Issue 2, 2005, Pages 188-206

  Fajstrup, Lisbeth ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

set; Automata; Combinatorial ditopology; Cubical complex; Dihomotopy; Ditopology

Indexed keywords

ALGEBRA; AUTOMATA THEORY; COMPUTATIONAL GEOMETRY; COMPUTER SIMULATION; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING; TOPOLOGY;

COMBINATORIAL DIHOMOTOPY; COMBINATORIAL DIPATHS; COMBINATORIAL DITOPOLOGY; CUBICAL COMPLEX; DIHOMOTOPY; DITOPOLOGY; EQUIVALENCES;

COMBINATORIAL MATHEMATICS;

EID: 21844476747     PISSN: 01968858     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.aam.2005.02.003     Document Type: Article

References (13)

1. G.E. Bredon Topology and Geometry Grad. Texts in Math. vol. 139 1993 Springer New York
2. E.W. Dijkstra Cooperating Sequential Processes 1968 Academic Press
3. A. Dold Lectures on Algebraic Topology second ed. Grundlehren Math. Wiss. vol. 200 1980 Springer
4. E. Dyer S. Eilenberg Globalizing fibrations by schedules Fund. Math. 130 1988 125-136
5. L. Fajstrup, E. Goubault, M. Raussen, Algebraic topology and concurrency, Theoret. Comput. Sci., in press; also technical report, Aalborg University, 1999
6. M. Grandis Directed homotopy theory, I Cah. Topol. Géom. Différ. Catég. 44 4 2003 281-316
7. L. Fajstrup Dicovering spaces Homology Homotopy Appl. 5 2 2003 1-17
8. L. Nachbin Topology and Order 1965 Van Nostrand Princeton
9. G.A. Niblo L.D. Reeves The geometry of cube complexes and the complexity of their fundamental group Topology 37 3 1998 621-633
10. V. Pratt Modeling concurrency with geometry Proc. of the 18th ACM Symposium on Principles of Programming Languages 1991 ACM Press
11. M. Raussen State spaces and dipaths up to dihomotopy Homology Homotopy Appl. 5 2 2003 257-280
12. C.P. Rourke B.J. Sanderson Δ-sets I. homotopy theory Quart. J. Math. Oxford Ser. (2) 22 1971 321-338
13. R. van Glabbeek Bisimulations for higher dimensional automata http://theory.stanford.edu/~rvg/hda