Execution spaces for simple higher dimensional automata

Higher dimensional automata (HDA) are highly expressive models for concurrency in Computer Science, cf van Glabbeek (Theor Comput Sci 368(1–2):168–194, 2006). For a topologist, they are attractive since they can be modeled as cubical complexes—with an inbuilt restriction for directions of allowable (d-)paths. In Raussen (Algebr Geom Topol 10:1683–1714, 2010), we developed a new method describing, for a certain subclass of HDA, the homotopy type of the space of execution paths (d-paths) as a finite simplicial complex. Several restrictions that were made to ease the presentation in that latter paper will be removed in the present article in order to make the results applicable in greater generality. Furthermore, we take a close look at semaphore models with semaphores all of arity one. It turns out that execution spaces for these are always homotopy discrete with components representing sets of “compatible” permutations. Finally, we describe a model for the complement of the execution space seen as a subspace of a product of spheres—with the aim to make the calculation of topological invariants easier and faster.

[1]  M. Raussen.  Simplicial models of trace spaces , 2010 .

[2]  Marco Grandis.  Directed homotopy theory, I. The fundamental category , 2001 .

[3]  Edsger W. Dijkstra,et al.  Hierarchical ordering of sequential processes , 1971, Acta Informatica.

[4]  Jeremy Gunawardena,et al.  Homotopy and Concurrency , 2001, Bull. EATCS.

[5]  Rob J. van Glabbeek,et al.  Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290] , 2006, Theor. Comput. Sci..

[6]  G. E. Bredon.  Topology and geometry , 1993 .

[7]  Martin Raußen,et al.  On the classification of dipaths in geometric models for concurrency , 2000, Mathematical Structures in Computer Science.

[8]  Eric Goubault,et al.  Trace Spaces: An Efficient New Technique for State-Space Reduction , 2012, ESOP.

[9]  Eric Goubault,et al.  Components of the Fundamental Category , 2004, Appl. Categorical Struct..

[10]  M. Raussen.  Trace spaces in a pre-cubical complex , 2009 .

[11]  Glynn Winskel,et al.  Models for Concurrency , 1994 .

[12]  U. Fahrenberg,et al.  Reparametrizations of continuous paths , 2007, 0706.3560.

[13]  M. Raussen.  Simplicial models for trace spaces II: General higher dimensional automata , 2012 .

[14]  P. J. Higgins,et al.  On the algebra of cubes , 1981 .

[15]  Rob J. van Glabbeek,et al.  On the expressiveness of higher dimensional automata , 2006, Theor. Comput. Sci..

[16]  P. J. Higgins,et al.  Colimit theorems for relative homotopy groups , 1981 .

[17]  Eric Goubault,et al.  Components of the Fundamental Category II , 2007, Appl. Categorical Struct..

[18]  Eric Goubault,et al.  A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs , 2005, CONCUR.

[19]  Edsger W. Dijkstra,et al.  Co-operating sequential processes , 1968 .

[20]  Lisbeth Fajstrup,et al.  Detecting Deadlocks in Concurrent Systems , 1996 .

[21]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[22]  Marco Grandis,et al.  Directed homotopy theory, I , 2003 .

[23]  Lisbeth Fajstrup.  Trace spaces of directed tori with rectangular holes , 2014, Math. Struct. Comput. Sci..

[24]  Dmitry N. Kozlov,et al.  Combinatorial Algebraic Topology , 2007, Algorithms and computation in mathematics.

[25]  Maurice Herlihy,et al.  Algebraic Topology and Distributed Computing: A Primer , 1995, Computer Science Today.

[26]  Martin Tancer,et al.  Note: Combinatorial Alexander Duality—A Short and Elementary Proof , 2009, Discret. Comput. Geom..

[27]  Vaughan R. Pratt,et al.  Modeling concurrency with geometry , 1991, POPL '91.

[28]  Michael Farber,et al.  Invitation to Topological Robotics , 2008, Zurich Lectures in Advanced Mathematics.

[29]  M. Grandis.  Directed Algebraic Topology: Models of Non-Reversible Worlds , 2009 .

[30]  M. Mrozek,et al.  Homology Computation by Reduction of Chain Complexes , 1998 .

[31]  Martin Raußen.  Invariants of Directed Spaces , 2007, Appl. Categorical Struct..