Volume 10, issue 3 (2010)

Download this article
Download this article For screen
For printing
Recent Issues

Volume 25
Issue 3, 1265–1915
Issue 2, 645–1264
Issue 1, 1–644

Volume 24, 9 issues

Volume 23, 9 issues

Volume 22, 8 issues

Volume 21, 7 issues

Volume 20, 7 issues

Volume 19, 7 issues

Volume 18, 7 issues

Volume 17, 6 issues

Volume 16, 6 issues

Volume 15, 6 issues

Volume 14, 6 issues

Volume 13, 6 issues

Volume 12, 4 issues

Volume 11, 5 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 4 issues

Volume 7, 4 issues

Volume 6, 5 issues

Volume 5, 4 issues

Volume 4, 2 issues

Volume 3, 2 issues

Volume 2, 2 issues

Volume 1, 2 issues

The Journal
About the Journal
Editorial Board
Subscriptions
 
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
 
ISSN 1472-2739 (online)
ISSN 1472-2747 (print)
Author Index
To Appear
 
Other MSP Journals
Simplicial models of trace spaces

Martin Raussen

Algebraic & Geometric Topology 10 (2010) 1683–1714
Bibliography
1 R Brown, P J Higgins, Colimit theorems for relative homotopy groups, J. Pure Appl. Algebra 22 (1981) 11 MR621285
2 R Brown, P J Higgins, On the algebra of cubes, J. Pure Appl. Algebra 21 (1981) 233 MR617135
3 E W Dijkstra, Co-operating sequential processes, from: "Programming Languages" (editor F Genuys), Academic Press (1968) 43
4 U Fahrenberg, M Raussen, Reparametrizations of continuous paths, J. Homotopy Relat. Struct. 2 (2007) 93 MR2369163
5 L Fajstrup, E Goubault, M Raussen, Detecting deadlocks in concurrent systems, from: "CONCUR’98 : concurrency theory (Nice)" (editors D Sangiorgi, R de Simone), Lecture Notes in Comput. Sci. 1466, Springer (1998) 332 MR1683333
6 L Fajstrup, M Raussen, E Goubault, Algebraic topology and concurrency, Theoret. Comput. Sci. 357 (2006) 241 MR2242768
7 L Fajstrup, M Raussen, E Goubault, E Haucourt, Components of the fundamental category. Homotopy theory, Appl. Categ. Structures 12 (2004) 81 MR2057412
8 L Fajstrup, S Sokolowski, Infinitely running concurrents processes with loops from a geometric viewpoint, Elec. Notes Theor. Comput. Sci. 39 (2000)
9 R J van Glabbeek, On the expressiveness of higher dimensional automata, Theoret. Comput. Sci. 356 (2006) 265 MR2223695
10 E Goubault, E Haucourt, Components of the fundamental category. II, Appl. Categ. Structures 15 (2007) 387 MR2350213
11 M Grandis, Directed homotopy theory. II. Homotopy constructs, Theory Appl. Categ. 10 (2002) 369 MR1921751
12 M Grandis, Directed homotopy theory. I, Cah. Topol. Géom. Différ. Catég. 44 (2003) 281 MR2030049
13 M Grandis, Directed algebraic topology. Models of non-reversible worlds, 13, Cambridge Univ. Press (2009) MR2562859
14 J Gunawardena, Homotopy and concurrency, Bull. EATCS 54 (1994) 184
15 M Herlihy, S Rajsbaum, Algebraic topology and distributed computing—a primer, from: "Computer science today" (editor J van Leeuwen), Lecture Notes in Comput. Sci. 1000, Springer (1995) 203 MR1389577
16 J F Jardine, Path categories and resolutions, Preprint (2009)
17 T Kaczynski, K Mischaikow, M Mrozek, Computational homology, 157, Springer (2004) MR2028588
18 T Kaczynski, M Mrozek, M Ślusarek, Homology computation by reduction of chain complexes, Comput. Math. Appl. 35 (1998) 59 MR1604791
19 L Khachiyan, E Boros, K Elbassioni, V Gurvich, A new algorithm for the hypergraph transversal problem, from: "Computing and combinatorics" (editor L Wang), Lecture Notes in Comput. Sci. 3595, Springer (2005) 767 MR2190900
20 D Kozlov, Combinatorial algebraic topology, 21, Springer (2008) MR2361455
21 J Matoušek, G M Ziegler, Topological lower bounds for the chromatic number: a hierarchy, Jahresber. Deutsch. Math.-Verein. 106 (2004) 71 MR2073516
22 J Milnor, On spaces having the homotopy type of a CW–complex, Trans. Amer. Math. Soc. 90 (1959) 272 MR0100267
23 V Pratt, Modeling concurrency with geometry, from: "POPL ’91 : Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages", ACM (1991) 311
24 M Raussen, On the classification of dipaths in geometric models for concurrency. Geometry and concurrency, Math. Structures Comput. Sci. 10 (2000) 427 MR1786470
25 M Raussen, Deadlocks and dihomotopy in mutual exclusion models, Theoret. Comput. Sci. 365 (2006) 247 MR2269456
26 M Raussen, Invariants of directed spaces, Appl. Categ. Structures 15 (2007) 355 MR2350212
27 M Raussen, Reparametrizations with given stop data, J. Homotopy Relat. Struct. 4 (2009) 1 MR2481616
28 M Raussen, Trace spaces in a pre-cubical complex, Topology Appl. 156 (2009) 1718 MR2521708
29 M Raussen, Simplicial models for trace spaces, Tech. Report R-2010-02, Dept. of Math. Sciences, Aalborg University (2010)
30 G Winskel, M Nielsen, Models for concurrency, from: "Handbook of logic in computer science, Vol. 4" (editors S Abramsky, D M Gabbay, T S E Maibaum), Handb. Log. Comput. Sci. 4, Oxford Univ. Press (1995) 1 MR1365754