Execution spaces for simple higher dimensional automata
From MaRDI portal
Publication:714637
DOI10.1007/s00200-012-0165-9zbMath1254.55007OpenAlexW2102126768MaRDI QIDQ714637
Publication date: 11 October 2012
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://vbn.aau.dk/da/publications/b607b9e8-855b-4202-9621-c5fa41daea11
Homotopy equivalences in algebraic topology (55P10) Classification of homotopy type (55P15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Simplicial sets and complexes in algebraic topology (55U10)
Related Items
Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Spaces of directed paths on pre-cubical sets ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ On execution spaces of PV-programs ⋮ The trace space of the \(k\)-skeleton of the \(n\)-cube
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Simplicial models for trace spaces. II: General higher dimensional automata
- Erratum to `Dicovering spaces'
- Reparametrizations of continuous paths
- Reparametrizations with given stop data
- Erratum to ``On the expressiveness of higher dimensional automata
- Invitation to topological robotics
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- Note: Combinatorial Alexander duality -- a short and elementary proof
- Homology computation by reduction of chain complexes
- On the algebra of cubes
- Colimit theorems for relative homotopy groups
- Components of the fundamental category
- Components of the fundamental category. II
- Invariants of directed spaces
- Trace Spaces: An Efficient New Technique for State-Space Reduction
- On the classification of dipaths in geometric models for concurrency
- Depth-First Search and Linear Graph Algorithms
- CONCUR 2005 – Concurrency Theory
- Combinatorial algebraic topology
