The following pages link to Simplicial models of trace spaces (Q986682):
Displayed 18 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)
- 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)
- Homology of Spaces of Directed Paths in Euclidean Pattern Spaces (Q4604391) (← 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)