Pages that link to "Item:Q441103"
From MaRDI portal
The following pages link to Simplicial models for trace spaces. II: General higher dimensional automata (Q441103):
Displaying 13 items.
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Classification of dicoverings (Q1957141) (← links)
- Connectivity of spaces of directed paths in geometric models for concurrent computation (Q2096387) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- The trace space of the \(k\)-skeleton of the \(n\)-cube (Q2352517) (← links)
- Homological properties of non-deterministic branchings of mergings in higher dimensional automata (Q2570217) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- Homology of Spaces of Directed Paths in Euclidean Pattern Spaces (Q4604391) (← links)