Dipaths and dihomotopies in a cubical complex

DOI10.1016/j.aam.2005.02.003zbMath1085.55010OpenAlexW1973708289MaRDI QIDQ2573655

Lisbeth Fajstrup

Publication date: 22 November 2005

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aam.2005.02.003

zbMATH Keywords

cubical complexditopologydihomotopyd-homotopy

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) Homotopy theory (55P99)

Related Items (25)

History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ Natural Homology ⋮ Deadlocks and dihomotopy in mutual exclusion models ⋮ ST-structures ⋮ Languages of higher-dimensional automata ⋮ A Hurewicz Model Structure for Directed Topology ⋮ Unnamed Item ⋮ Cut-off theorems for the \textit{PV}-model ⋮ Directed homology theories and Eilenberg-Steenrod axioms ⋮ Towards Directed Collapsibility (Research) ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Weak morphisms of higher dimensional automata ⋮ Invariants of directed spaces ⋮ Enriched categories and models for spaces of evolving states ⋮ Some collapsing operations for 2-dimensional precubical sets ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ Algebraic topology and concurrency ⋮ The geometry of conservative programs ⋮ Criteria for Homotopic Maps to be So Along Monotone Homotopies ⋮ Directed topological complexity ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Trace spaces in a pre-cubical complex ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation ⋮ Cubical approximation for directed topology. I ⋮ Directed Homotopy in Non-Positively Curved Spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The geometry of cube complexes and the complexity of their fundamental groups
• Dicovering spaces
• State spaces and dipaths up to dihomotopy
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Globalizing fibrations by schedules
• On the Kunneth Formula and Functorial Dependence in Algebraic Topology
• Δ-SETS I: HOMOTOPY THEORY

This page was built for publication: Dipaths and dihomotopies in a cubical complex