Strictifying and taming directed paths in Higher Dimensional Automata

DOI10.1017/S0960129521000128zbMath1474.68204arXiv2006.05797MaRDI QIDQ5156774

Martin Raussen

Publication date: 11 October 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

serialstrictnessparalleltamenesshomotopy equivalencehigher-dimensional automatanerve lemmad-path

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) 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 (2)

Unnamed Item ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spaces of directed paths on pre-cubical sets
• Erratum to ``On the expressiveness of higher dimensional automata
• Trace spaces in a pre-cubical complex
• Homology of spaces of directed paths on Euclidean cubical complexes
• Trees in partial higher dimensional automata
• 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
• Sur les théorèmes de de Rham
• Sur la forme des espaces topologiques et sur les points fixes des représentations
• Pomset Languages of Finite Step Transition Systems
• Higher algebraic K-theory: I
• Homotopy Type Comparison of a Space with Complexes Associated with its Open Covers
• On the imbedding of systems of compacta in simplicial complexes
• Combinatorial algebraic topology

This page was built for publication: Strictifying and taming directed paths in Higher Dimensional Automata