Simplicial models of trace spaces
From MaRDI portal
Publication:986682
DOI10.2140/agt.2010.10.1683zbMath1198.55004OpenAlexW2171084508MaRDI QIDQ986682
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
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