Homology of spaces of directed paths on Euclidean cubical complexes
From MaRDI portal
Publication:2255529
DOI10.1007/s40062-013-0045-4zbMath1309.55003OpenAlexW2013816823MaRDI QIDQ2255529
Krzysztof Ziemiański, Martin Raussen
Publication date: 17 February 2015
Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s40062-013-0045-4
Homotopy equivalences in algebraic topology (55P10) Classification of homotopy type (55P15) 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 (13)
Configuration spaces and directed paths on the final precubical set ⋮ Unnamed Item ⋮ Linear obstacles in linear systems, and ways to avoid them ⋮ Stable components of directed spaces ⋮ Homology of Spaces of Directed Paths in Euclidean Pattern Spaces ⋮ Towards Directed Collapsibility (Research) ⋮ Directed path spaces via discrete vector fields ⋮ Strictifying and taming directed paths in Higher Dimensional Automata ⋮ Spaces of directed paths on pre-cubical sets ⋮ On execution spaces of PV-programs ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Combinatorial conditions for directed collapsing ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation
Cites Work
- Unnamed Item
- Unnamed Item
- A cubical model for path spaces in d-simplicial complexes
- Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
- Execution spaces for simple higher dimensional automata
- Erratum to ``On the expressiveness of higher dimensional automata
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- On the algebra of cubes
- Algebraic topology and concurrency
- Classifying spaces and spectral sequences
- Homotopy limits, completions and localizations
- On the classification of dipaths in geometric models for concurrency
- Trace spaces of directed tori with rectangular holes
This page was built for publication: Homology of spaces of directed paths on Euclidean cubical complexes