Pages that link to "Item:Q851558"
From MaRDI portal
The following pages link to T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies (Q851558):
Displaying 11 items.
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences (Q925393) (← links)
- Towards a homotopy theory of process algebra (Q2427617) (← links)
- The homology graph of a precubical set (Q2444581) (← links)
- Homological properties of non-deterministic branchings of mergings in higher dimensional automata (Q2570217) (← links)
- Combinatorics of branchings in higher dimensional automata (Q2724148) (← links)
- T-homotopy and refinement of observation. I: Introduction (Q2810959) (← links)
- Left properness of flows (Q4994669) (← links)
- Six model categories for directed homotopy (Q5077344) (← links)
