Pages that link to "Item:Q278749"
From MaRDI portal
The following pages link to Topological abstraction of higher-dimensional automata (Q278749):
Displaying 13 items.
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- Topological deformation of higher dimensional automata (Q1397800) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- Topological automata (Q2643137) (← links)
- Combinatorics of branchings in higher dimensional automata (Q2724148) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- (Q4654639) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- (Q5232910) (← links)
- Foundations of Software Science and Computational Structures (Q5705872) (← links)
- Extraction of concurrent processes from higher dimensional automata (Q5878902) (← links)