Pages that link to "Item:Q2427617"
From MaRDI portal
The following pages link to Towards a homotopy theory of process algebra (Q2427617):
Displaying 14 items.
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- Processes in space (Q418828) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Topology in process calculus. I: Limit behaviour of agents (Q1964363) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Homological properties of non-deterministic branchings of mergings in higher dimensional automata (Q2570217) (← links)
- Homotopy theory of Moore flows (II) (Q3390300) (← links)
- Left properness of flows (Q4994669) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- (Q5232910) (← links)
- Extraction of concurrent processes from higher dimensional automata (Q5878902) (← links)
- Comparing cubical and globular directed paths (Q6144989) (← links)
- Rigidification of cubical quasicategories (Q6614590) (← links)