Spaces of directed paths on pre-cubical sets II

DOI10.1007/s41468-019-00040-zzbMath1436.55014arXiv1901.05206OpenAlexW2971296614WikidataQ127304848 ScholiaQ127304848MaRDI QIDQ2304017

Krzysztof Ziemiański

Publication date: 6 March 2020

Published in: Journal of Applied and Computational Topology (Search for Journal in Brave)

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

zbMATH Keywords

synchronizationhomotopy colimitdirected path spacehigher dimensional automatonpre-cubical settame path

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Loop spaces (55P35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Configuration spaces and directed paths on the final precubical set ⋮ Languages of higher-dimensional automata ⋮ Comparing cubical and globular directed paths ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Strictifying and taming directed paths in Higher Dimensional Automata ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation

Cites Work

• Unnamed Item
• History-preserving bisimilarity for higher-dimensional automata via open maps
• A cubical model for path spaces in d-simplicial complexes
• Directed path spaces via discrete vector fields
• 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
• Homology of spaces of directed paths on Euclidean cubical complexes
• Stable components of directed spaces
• Invariants of directed spaces
• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Dipaths and dihomotopies in a cubical complex

This page was built for publication: Spaces of directed paths on pre-cubical sets II