Pages that link to "Item:Q2084943"
From MaRDI portal
The following pages link to On symmetric higher-dimensional automata and bisimilarity (Q2084943):
Displaying 12 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- The \(A^{(1)}_M\) automata related to crystals of symmetric tensors (Q2774658) (← links)
- On the expressiveness of higher dimensional automata (extended abstract) (Q2848133) (← links)
- On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two (Q2957489) (← links)
- Open Maps Bisimulations for Higher Dimensional Automata Models (Q3183618) (← links)
- (Q3191604) (← links)
- Bisimilarity in Fresh-Register Automata (Q4635800) (← links)
- Partial higher-dimensional automata (Q5275346) (← links)
- Foundations of Software Science and Computational Structures (Q5705872) (← links)
- On the homology language of HDA models of transition systems (Q6645910) (← links)