The following pages link to Simplicial models of trace spaces (Q986682):
Displaying 24 items.
- A cubical model for path spaces in d-simplicial complexes (Q411814) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Trace spaces in a pre-cubical complex (Q1019149) (← links)
- Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency (Q1397804) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Connectivity of spaces of directed paths in geometric models for concurrent computation (Q2096387) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
- Cubical approximation for directed topology. I (Q2350094) (← links)
- The trace space of the \(k\)-skeleton of the \(n\)-cube (Q2352517) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- Invariants of directed spaces (Q2463399) (← links)
- Future Path-components in Directed Topology (Q3178262) (← links)
- Homology of Spaces of Directed Paths in Euclidean Pattern Spaces (Q4604391) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- Simplicial Models for Concurrency (Q5179017) (← links)
- Trace spaces of directed tori with rectangular holes (Q5740352) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)
- Comparing cubical and globular directed paths (Q6144989) (← links)
