Dicovering spaces

Homology, Homotopy and Applications

Volumn 5, Issue 2, 2003, Pages 1-17

  Fajstrup, Lisbeth ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

Abstract homotopy theory; Covering spaces; Dihomotopy theory

Indexed keywords

EID: 18544381236     PISSN: 15320073     EISSN: 15320081     Source Type: Journal    
DOI: 10.4310/HHA.2003.v5.n2.a1     Document Type: Conference Paper

References (9)

1. L. Fajstrup, E. Goubault, and M. Raußen, Detecting Deadlocks in Concurrent Systems, CONCUR'98; Concurrency Theory (Nice, France) (D. Sangiorgi and R. de Simone, eds.), Lect. Notes Comp. Science, vol. 1466, Springer-Verlag, September 1998, 9th Int. Conf., Proceedings, pp. 332-347.
2. -, Algebraic topology and concurrency, Tech. Report R-99-2008, Department of Mathematical Sciences, Aalborg University, 9220 Aalborg Øst, June 1999.
3. E. Goubault, The Geometry of Concurrency, Ph.D. thesis, Ecole Normale Superieure, Paris, 1995.
4. M. Grandis, Directed Homotopy Theory I. The Fundamental Category, Tech. Report 443, Dip. di Matematica dell' Univ. di Genova, 2001, to appear in Cahiers Top. Géom. Diff. Catég.
5. J. Gunawardena, Homotopy and concurrency, Bulletin of the EATCS 54 (1994), 184-193.
6. P.J. Higgins, Categories and groupoids, Van Nostrand, 1971.
7. V. Pratt, Modeling concurrency with geometry, Proc. of the 18th ACM Symposium on Principles of Programming Languages. (1991).
8. M. Raussen, State Spaces and Dipaths up to Dihomotopy, Tech. Report R-01-2023, Department of Mathematical Sciences, Aalborg University, DK-9220 Aalborg Øst, 2001, revised version to appear in Homology Homotopy Appl.
9. S. Sokolowski, Investigation of concurrent processes by means of homotopy functors, to appear in Math. Struct Comp. Sci. (2001).