Simplicial models for trace spaces. II: General higher dimensional automata

zbMath1251.55004MaRDI QIDQ441103

Martin Raussen

Publication date: 20 August 2012

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

zbMATH Keywords

coveringarc lengthhomotopy equivalencedirected loopexecution pathhigher dimensional automataposet category

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Classification of homotopy type (55P15) Semantics in the theory of computing (68Q55) 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 (7)

Directed homology theories and Eilenberg-Steenrod axioms ⋮ Homology of Spaces of Directed Paths in Euclidean Pattern Spaces ⋮ Spaces of directed paths on pre-cubical sets ⋮ Execution spaces for simple higher dimensional automata ⋮ Pair component categories for directed spaces ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation ⋮ The trace space of the \(k\)-skeleton of the \(n\)-cube

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zeros of closed 1-forms, homoclinic orbits and Lusternik-Schnirelman theory.
• Execution spaces for simple higher dimensional automata
• Reparametrizations of continuous paths
• Reparametrizations with given stop data
• Erratum to ``On the expressiveness of higher dimensional automata
• Simplicial models of trace spaces
• Trace spaces in a pre-cubical complex
• On the algebra of cubes
• Colimit theorems for relative homotopy groups
• Infinitesimal computations in topology
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• Trace Spaces: An Efficient New Technique for State-Space Reduction
• Simplicial Models for Concurrency
• Δ-SETS I: HOMOTOPY THEORY
• Trace spaces of directed tori with rectangular holes
• Combinatorial algebraic topology

This page was built for publication: Simplicial models for trace spaces. II: General higher dimensional automata