Pages that link to "Item:Q5275346"
From MaRDI portal
The following pages link to Partial higher-dimensional automata (Q5275346):
Displaying 18 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- ST-structures (Q338620) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Piecewise directable automata (Q2731278) (← links)
- On the expressiveness of higher dimensional automata (extended abstract) (Q2848133) (← links)
- Prefix and Right-Partial Derivative Automata (Q3195704) (← links)
- (Q3829078) (← links)
- Higher dimensional automata revisited (Q4507892) (← links)
- (Q4654639) (← links)
- (Q4989400) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Strictifying and taming directed paths in Higher Dimensional Automata (Q5156774) (← links)
- Foundations of Software Science and Computational Structures (Q5705872) (← links)
- A Myhill-Nerode theorem for higher-dimensional automata (Q6535191) (← links)
- Myhill-Nerode theorem for higher-dimensional automata (Q6622140) (← links)