Volume 12, issue 3 (2012)

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

Volume 24
Issue 3, 1225–1808
Issue 2, 595–1223
Issue 1, 1–594

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
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 for trace spaces {II}: {G}eneral higher dimensional automata

Martin Raussen

Algebraic & Geometric Topology 12 (2012) 1741–1761
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 P Bubenik, Simplicial models for concurrency, from: "Proceedings of the workshop on Geometric and Topological Methods in Computer Science", Electronic Notes in Theoretical Comp. Sci. 283 (2012) 3
4 E W Dijkstra, Co-operating sequential processes, from: "Programming languages" (editor F Genuys), Academic Press (1968) 43
5 U Fahrenberg, M Raussen, Reparametrizations of continuous paths, J. Homotopy Relat. Struct. 2 (2007) 93 MR2369163
6 L Fajstrup, Dipaths and dihomotopies in a cubical complex, Adv. in Appl. Math. 35 (2005) 188 MR2152887
7 L Fajstrup, Trace spaces of directed tori with rectangular holes, Tech. Report R-2011-08, Department of Math. Sciences, Aalborg University (2011)
8 L Fajstrup, É Goubault, E Haucourt, S Mimran, M Raussen, Trace spaces: An efficient new technique for state-space reduction, from: "European Symposium on Programming 2012" (editor H Seidl), Lecture Notes in Comp. Sci. 7211, Springer (2012) 274
9 L Fajstrup, M Raußen, E Goubault, Algebraic topology and concurrency, Theoret. Comput. Sci. 357 (2006) 241 MR2242768
10 M Farber, Zeros of closed $1$–forms, homoclinic orbits and Lusternik–Schnirelman theory, Topol. Methods Nonlinear Anal. 19 (2002) 123 MR1921889
11 M Farber, Topology of closed one-forms, Math. Surveys and Monogr. 108, Amer. Math. Soc. (2004) MR2034601
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, New Math. Monogr. 13, Cambridge Univ. Press (2009) MR2562859
14 D Kozlov, Combinatorial algebraic topology, Algorithms and Computation in Math. 21, Springer (2008) MR2361455
15 V Pratt, Modelling concurrency with geometry, from: "Proc. of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages" (editor D Wise), ACM (1991) 311
16 M Raussen, Reparametrizations with given stop data, J. Homotopy Relat. Struct. 4 (2009) 1 MR2481616
17 M Raussen, Trace spaces in a pre-cubical complex, Topology Appl. 156 (2009) 1718 MR2521708
18 M Raussen, Simplicial models of trace spaces, Algebr. Geom. Topol. 10 (2010) 1683 MR2683749
19 M Raussen, Execution spaces for simple higher dimensional automata, Appl. Algebra Engrg. Comm. Comput. 23 (2012) 59 MR2917117
20 C P Rourke, B J Sanderson, $\triangle $–sets I: Homotopy theory, Quart. J. Math. Oxford Ser. 22 (1971) 321 MR0300281
21 D Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. (1977) 269 MR0646078
22 R J van Glabbeek, Erratum to: \hspace-2pt“On the expressiveness of higher dimensional automata” \rm[Theoret. Comput. Sci. 356 (2006) 265–290 \xoxMR2223695], Theoret. Comput. Sci. 368 (2006) 168 MR2274947
23 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), Oxford Univ. Press (1995) 1 MR1365754