Algebraic & Geometric Topology Volume 10, issue 3 (2010)

Download this article
	For screen
	For printing

Recent 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

DOI: 10.2140/agt.2010.10.1683

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