The following pages link to (Q2703724):
Displayed 5 items.
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- T-homotopy and Refinement of Observation (I): Introduction (Q2810959) (← links)
- On the Specification of Higher Dimensional Automata (Q2841306) (← links)
- (Q3146269) (← links)