Pages that link to "Item:Q3168195"
From MaRDI portal
The following pages link to Unifying Equivalences for Higher Dimensional Automata (Q3168195):
Displaying 10 items.
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Higher dimensional automata revisited (Q4507892) (← links)
- (Q4654639) (← links)
- (Q4720788) (← links)
- Uniformity for the decidability of hybrid automata (Q5030200) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- (Q5271416) (← links)
- (Q5747464) (← links)