Volume 10, issue 3 (2010)

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

Volume 22
Issue 5, 2007–2532
Issue 4, 1497–2006
Issue 3, 991–1495
Issue 2, 473–990
Issue 1, 1–472

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
Editorial Interests
Subscriptions
 
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
 
ISSN (electronic): 1472-2739
ISSN (print): 1472-2747
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