|
Algebraic & Geometric Topology 10
(2010) 1683–1714
|
| 1 |
R Brown, P J
Higgins, Colimit
theorems for relative homotopy groups, J. Pure Appl.
Algebra 22 (1981) 11–41 MR621285 |
| 2 |
R Brown, P J
Higgins, On the algebra
of cubes, J. Pure Appl. Algebra 21 (1981) 233–260
MR617135 |
| 3 |
E W Dijkstra,
Co-operating sequential processes, from: "Programming
Languages" (editor F Genuys), Academic Press (1968)
43–110 |
| 4 |
U Fahrenberg, M
Raussen, Reparametrizations
of continuous paths, J. Homotopy Relat. Struct. 2
(2007) 93–117 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–347
MR1683333 |
| 6 |
L Fajstrup, M
Raussen, E Goubault, Algebraic
topology and concurrency, Theoret. Comput. Sci. 357
(2006) 241–278 MR2242768 |
| 7 |
L Fajstrup, M
Raussen, E Goubault, E Haucourt, Components
of the fundamental category. Homotopy theory, Appl.
Categ. Structures 12 (2004) 81–108 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–290 MR2223695 |
| 10 |
E Goubault, E
Haucourt, Components of the
fundamental category. II, Appl. Categ. Structures 15
(2007) 387–414 MR2350213 |
| 11 |
M Grandis, Directed
homotopy theory. II. Homotopy constructs, Theory Appl.
Categ. 10 (2002) 369–391 MR1921751 |
| 12 |
M Grandis, Directed
homotopy theory. I, Cah. Topol. Géom. Différ.
Catég. 44 (2003) 281–316 MR2030049 |
| 13 |
M Grandis, Directed algebraic
topology. Models of non-reversible worlds, New Math.
Monogr. 13, Cambridge Univ. Press (2009) MR2562859 |
| 14 |
J Gunawardena,
Homotopy and concurrency, Bull. EATCS 54 (1994)
184–193 |
| 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–217 MR1389577 |
| 16 |
J F Jardine,
Path categories and resolutions (2009) |
| 17 |
T Kaczynski, K
Mischaikow, M Mrozek, Computational homology,
Applied Math. Sciences 157, Springer (2004) MR2028588 |
| 18 |
T Kaczynski, M
Mrozek, M Ślusarek, Homology
computation by reduction of chain complexes, Comput.
Math. Appl. 35 (1998) 59–70 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–776 MR2190900 |
| 20 |
D Kozlov, Combinatorial
algebraic topology, Algorithms and Computation in Math.
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–90 MR2073516 |
| 22 |
J Milnor, On spaces having the
homotopy type of a CW–complex, Trans. Amer. Math.
Soc. 90 (1959) 272–280 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–322 |
| 24 |
M Raussen, On the
classification of dipaths in geometric models for concurrency.
Geometry and concurrency, Math. Structures Comput. Sci.
10 (2000) 427–457 MR1786470 |
| 25 |
M Raussen, Deadlocks and
dihomotopy in mutual exclusion models, Theoret. Comput.
Sci. 365 (2006) 247–257 MR2269456 |
| 26 |
M Raussen, Invariants of
directed spaces, Appl. Categ. Structures 15 (2007)
355–386 MR2350212 |
| 27 |
M Raussen, Reparametrizations
with given stop data, J. Homotopy Relat. Struct. 4
(2009) 1–5 MR2481616 |
| 28 |
M Raussen, Trace spaces in
a pre-cubical complex, Topology Appl. 156 (2009)
1718–1728 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–148 MR1365754 |
