Pages that link to "Item:Q5179022"
From MaRDI portal
The following pages link to Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022):
Displaying 8 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- A geometric view of partial order reduction (Q265807) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- ST-structures (Q338620) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
