Pages that link to "Item:Q714637"
From MaRDI portal
The following pages link to Execution spaces for simple higher dimensional automata (Q714637):
Displaying 12 items.
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- The trace space of the \(k\)-skeleton of the \(n\)-cube (Q2352517) (← links)
- Combinatorics of branchings in higher dimensional automata (Q2724148) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- Higher dimensional automata revisited (Q4507892) (← links)
- (Q4654639) (← links)
- Extraction of concurrent processes from higher dimensional automata (Q5878902) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)