Pages that link to "Item:Q1431357"
From MaRDI portal
The following pages link to Components of the fundamental category (Q1431357):
Displaying 29 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- ST-structures (Q338620) (← links)
- A cubical model for path spaces in d-simplicial complexes (Q411814) (← links)
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Enriched categories and models for spaces of evolving states (Q949618) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Trace spaces in a pre-cubical complex (Q1019149) (← links)
- A convenient category of locally preordered spaces (Q1037410) (← links)
- Directed topological complexity of spheres (Q2304012) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- Stable components of directed spaces (Q2423830) (← links)
- Absolute lax 2-categories (Q2432581) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Components of the fundamental category. II (Q2463396) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- Invariants of directed spaces (Q2463399) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- Context for Models of Concurrency (Q2810953) (← links)
- A Framework for Component Categories (Q2810956) (← links)
- Comparing Topological Models for Concurrency (Q2810960) (← links)
- Future Path-components in Directed Topology (Q3178262) (← links)
- (Q3429780) (← links)
- (Q4989400) (← links)
- Left properness of flows (Q4994669) (← links)
- Simplicial Models for Concurrency (Q5179017) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
