Simplicial models of trace spaces

DOI10.2140/agt.2010.10.1683zbMath1198.55004OpenAlexW2171084508MaRDI QIDQ986682

Martin Raussen

Publication date: 11 August 2010

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

Full work available at URL: https://doi.org/10.2140/agt.2010.10.1683

zbMATH Keywords

homotopy equivalenceposet categoryprodsimplicial complexd-spaced-path

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 (18)

Cut-off theorems for the \textit{PV}-model ⋮ A cubical model for path spaces in d-simplicial complexes ⋮ Comparing cubical and globular directed paths ⋮ Directed homology theories and Eilenberg-Steenrod axioms ⋮ Homology of Spaces of Directed Paths in Euclidean Pattern Spaces ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Spaces of directed paths on pre-cubical sets ⋮ On the hierarchy of d-structures ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ Trace spaces of directed tori with rectangular holes ⋮ Simplicial Models for Concurrency ⋮ Execution spaces for simple higher dimensional automata ⋮ Simplicial models of trace spaces ⋮ On execution spaces of PV-programs ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation ⋮ Cubical approximation for directed topology. I ⋮ The trace space of the \(k\)-skeleton of the \(n\)-cube

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Path categories and resolutions
• Reparametrizations of continuous paths
• Reparametrizations with given stop data
• Deadlocks and dihomotopy in mutual exclusion models
• Simplicial models of trace spaces
• Trace spaces in a pre-cubical complex
• Homology computation by reduction of chain complexes
• On the algebra of cubes
• Colimit theorems for relative homotopy groups
• Computational homology
• Components of the fundamental category
• Topological lower bounds for the chromatic number: a hierarchy
• Components of the fundamental category. II
• Invariants of directed spaces
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• On Spaces Having the Homotopy Type of a CW-Complex
• On the classification of dipaths in geometric models for concurrency
• Algebraic spans
• Computing and Combinatorics
• Combinatorial algebraic topology

This page was built for publication: Simplicial models of trace spaces