Weak morphisms of higher dimensional automata

DOI10.1016/j.tcs.2014.02.028zbMath1359.68172arXiv1303.2003OpenAlexW1986211726MaRDI QIDQ2449047

Thomas Kahl

Publication date: 6 May 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

abstractiongeometric realisationhigher-dimensional automatatrace languagepreorder relationprecubical set

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Weak equivalence of higher-dimensional automata ⋮ Topological abstraction of higher-dimensional automata ⋮ Unnamed Item ⋮ Labeled homology of higher-dimensional automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Combinatorics of labelling in higher-dimensional automata
• Models and van Kampen theorems for directed homotopy theory
• On the algebra of cubes
• Colimit theorems for relative homotopy groups
• Combinatorics on traces
• Topological deformation of higher dimensional automata
• Some geometric perspectives in concurrency theory
• Components of the fundamental category
• Towards a homotopy theory of process algebra
• Components of the fundamental category. II
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• Homologie singulière des espaces fibrés. Applications
• T-homotopy and Refinement of Observation (I): Introduction
• Formal Relationships Between Geometrical and Classical Models for Concurrency
• ABSTRACT HOMOTOPY

This page was built for publication: Weak morphisms of higher dimensional automata