Loops, ditopology and deadlocks

Mathematical Structures in Computer Science

Volumn 10, Issue 4, 2000, Pages 459-480

  Fajstrup, Lisbeth ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84986617645     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500003157     Document Type: Article

References (9)

1. Bredon, G. E. (1993) Topology and Geometry. GTM 139, Springer-Verlag.
2. Dijkstra, E. (1968) Co-operating sequential processes. In: Genuys, F. (ed.) Programming Languages, Academic Press 43–110.
3. Fajstrup, L., Goubault, E. and Raussen, M. (1998a) Detecting Deadlocks in Concurrent Systems. DTA/LETI/DEIN/SLA 98–61, LETI (CEA - Technologies Avancees), Saclay, France.
4. Fajstrup, L., Goubault, E. and Raussen, M. (1998b) Detecting Deadlocks in Concurrent Systems. In: Sangiorgi, D. and de Simone, R. (eds.) Proceedings CONCUR ‘98; Concurrency Theory, Nice, France. Springer-Verlag Lecture Notes in Computer Science 1466 332–347.
5. Fajstrup, L., Goubault, E. and Raussen, M. (1999) Algebraic topology and concurrency. Technical Report R-99-2008, Department of Mathematical Sciences, Aalborg University, 9220 Aalborg Øst.
6. Goubault, E. (1995) The Geometry of Concurrency, Ph. D. thesis, Ecole Normale Superieure, Paris.
7. Gunawardena, J. (1994) Homotopy and concurrency. Bulletin of the EATCS 54 184–193.
8. Pratt, V. (1991) Modeling concurrency with geometry. Proc. of the 18th ACM Symposium on Prin-ciples of Programming Languages.
9. van Glabbeek, R. (1991) Bisimulation semantics for higher dimensional automata. Technical report, Stanford University.