Pages that link to "Item:Q2724148"
From MaRDI portal
The following pages link to Combinatorics of branchings in higher dimensional automata (Q2724148):
Displaying 14 items.
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies (Q851558) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Homological properties of non-deterministic branchings of mergings in higher dimensional automata (Q2570217) (← links)
- The geometry of cubical and regular transition systems (Q2786895) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- (Q3146269) (← links)
- (Q4707047) (← links)
- Combinatorics of past-similarity in higher dimensional transition systems (Q5364137) (← links)