Pages that link to "Item:Q1770322"
From MaRDI portal
The following pages link to A model category for the homotopy theory of concurrency (Q1770322):
Displaying 25 items.
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences (Q925393) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- A convenient category of locally preordered spaces (Q1037410) (← links)
- On the homology of small categories and asynchronous transition systems (Q1770310) (← links)
- Saturating directed spaces (Q2255541) (← links)
- Towards a homotopy theory of process algebra (Q2427617) (← links)
- Flow does not model flows up to weak dihomotopy (Q2432566) (← links)
- Components of the fundamental category. II (Q2463396) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- Invariants of directed spaces (Q2463399) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Comparing globular complex and flow (Q2581070) (← links)
- Context for models of concurrency (Q2810953) (← links)
- T-homotopy and refinement of observation. I: Introduction (Q2810959) (← links)
- Comparing topological models for concurrency (Q2810960) (← links)
- A fibration category of local pospaces (Q2810961) (← links)
- Simulations as homotopies (Q2847420) (← links)
- Homotopy theory of Moore flows (II) (Q3390300) (← links)
- Homotopy invariants of higher dimensional categories and concurrency in computer science (Q4507891) (← links)
- Left properness of flows (Q4994669) (← links)
- A Hurewicz Model Structure for Directed Topology (Q4994670) (← links)
- Six model categories for directed homotopy (Q5077344) (← links)
- Homotopy theory of Moore flows (I) (Q5087657) (← links)
- Comparing cubical and globular directed paths (Q6144989) (← links)
