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 5 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)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
