Pages that link to "Item:Q265804"
From MaRDI portal
The following pages link to History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804):
Displayed 5 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- ST-structures (Q338620) (← links)
- Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)