Algebraic & Geometric Topology Volume 12, issue 3 (2012)

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

Martin Raussen

Algebraic & Geometric Topology 12 (2012) 1741–1761

DOI: 10.2140/agt.2012.12.1741

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