Spaces of directed paths on pre-cubical sets
From MaRDI portal
Publication:681330
DOI10.1007/s00200-017-0316-0zbMath1384.55015arXiv1605.08305OpenAlexW2964154797WikidataQ59609383 ScholiaQ59609383MaRDI QIDQ681330
Publication date: 30 January 2018
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1605.08305
Related Items (8)
Configuration spaces and directed paths on the final precubical set ⋮ Languages of higher-dimensional automata ⋮ Comparing cubical and globular directed paths ⋮ Unnamed Item ⋮ Directed path spaces via discrete vector fields ⋮ Strictifying and taming directed paths in Higher Dimensional Automata ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A cubical model for path spaces in d-simplicial complexes
- Simplicial models for trace spaces. II: General higher dimensional automata
- Execution spaces for simple higher dimensional automata
- Posets, regular CW complexes and Bruhat order
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- Homology of spaces of directed paths on Euclidean cubical complexes
- Algebraic topology and concurrency
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Classifying spaces and spectral sequences
- Lectures on Polytopes
- Categories of directed spaces
- On execution spaces of PV-programs
This page was built for publication: Spaces of directed paths on pre-cubical sets