The following pages link to (Q3146269):
Displaying 7 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- The geometry and topology of reconfiguration (Q2455510) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- From concurrency to algebraic topology (Q2703724) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- (Q4707047) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)