Pages that link to "Item:Q2848133"
From MaRDI portal
The following pages link to On the expressiveness of higher dimensional automata (extended abstract) (Q2848133):
Displaying 12 items.
- ST-structures (Q338620) (← links)
- Trace spaces in a pre-cubical complex (Q1019149) (← links)
- Invariants of directed spaces (Q2463399) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Corrigendum to our paper: How Expressions Can Code for Automata (Q3060202) (← links)
- Unifying Equivalences for Higher Dimensional Automata (Q3168195) (← links)
- Higher dimensional automata revisited (Q4507892) (← links)
- (Q4654639) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Bisimilarity of Diagrams (Q5098713) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)