Pages that link to "Item:Q3183618"
From MaRDI portal
The following pages link to Open Maps Bisimulations for Higher Dimensional Automata Models (Q3183618):
Displaying 4 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Foundations of Software Science and Computational Structures (Q5705872) (← links)