Volume 12, issue 3 (2012)

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

Volume 24
Issue 6, 2971–3570
Issue 5, 2389–2970
Issue 4, 1809–2387
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
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
Abstract

Higher Dimensional Automata (HDA) are topological models for the study of concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.

The paper generalizes the results from Raussen [Algebr. Geom. Topol. 10 (2010) 1683–1714; Appl. Algebra Engrg. Comm. Comput. 23 (2012) 59–84] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.

Keywords
higher dimensional automata, execution path, poset category, directed loop, arc length, covering, homotopy equivalence
Mathematical Subject Classification 2010
Primary: 55P10, 55P15, 55U10
Secondary: 68Q85, 68Q55
References
Publication
Received: 13 September 2011
Accepted: 7 April 2012
Published: 4 August 2012
Authors
Martin Raussen
Department of Mathematical Sciences
Aalborg University
Fredrik Bajersvej 7G
DK-9220 Aalborg Øst
Denmark
http://people.math.aau.dk/~raussen