Connectivity of spaces of directed paths in geometric models for concurrent computation

DOI10.1016/j.comgeo.2022.101942OpenAlexW3176144928WikidataQ114195405 ScholiaQ114195405MaRDI QIDQ2096387

Martin Raussen

Publication date: 16 November 2022

Published in: Computational Geometry (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.11703

zbMATH Keywords

connectivitydirected pathnerve lemmahigher dimensional automataspare capacity

Mathematics Subject Classification ID

Theory of computing (68Qxx) Applied homological algebra and category theory in algebraic topology (55Uxx) Homotopy theory (55Pxx)

Cites Work

• Unnamed Item
• Unnamed Item
• A cubical model for path spaces in d-simplicial complexes
• Simplicial models for trace spaces. II: General higher dimensional automata
• Spaces of directed paths on pre-cubical sets
• Erratum to ``On the expressiveness of higher dimensional automata
• Simplicial models of trace spaces
• Trace spaces in a pre-cubical complex
• Nerves, fibers and homotopy groups
• Combinatorial conditions for directed collapsing
• Homology of spaces of directed paths on Euclidean cubical complexes
• Spaces of directed paths on pre-cubical sets II
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Dipaths and dihomotopies in a cubical complex
• On the classification of dipaths in geometric models for concurrency
• Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
• Towards Directed Collapsibility (Research)
• Strictifying and taming directed paths in Higher Dimensional Automata
• On execution spaces of PV-programs

This page was built for publication: Connectivity of spaces of directed paths in geometric models for concurrent computation