Spaces of directed paths on pre-cubical sets

DOI10.1007/s00200-017-0316-0zbMath1384.55015arXiv1605.08305OpenAlexW2964154797WikidataQ59609383 ScholiaQ59609383MaRDI QIDQ681330

Krzysztof Ziemiański

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

zbMATH Keywords

path spacedirected spacehigher dimensional automatonpre-cubical set

Mathematics Subject Classification ID

Abstract complexes in algebraic topology (55U05) Theory of computing (68Q99)

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