The following pages link to (Q4453908):
Displaying 50 items.
- A cubical model for path spaces in d-simplicial complexes (Q411814) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
- Directed path spaces via discrete vector fields (Q669618) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Finite relational structure models of topological spaces and maps (Q949608) (← links)
- Enriched categories and models for spaces of evolving states (Q949618) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Models and van Kampen theorems for directed homotopy theory (Q1018859) (← links)
- Trace spaces in a pre-cubical complex (Q1019149) (← links)
- A convenient category of locally preordered spaces (Q1037410) (← links)
- Classification of dicoverings (Q1957141) (← links)
- Exponentiable streams and prestreams (Q2014744) (← links)
- Combinatorial conditions for directed collapsing (Q2080092) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- Directed topological complexity of spheres (Q2304012) (← links)
- Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- Cubical approximation for directed topology. I (Q2350094) (← links)
- Homotopy path spaces for families of admissible paths (Q2404240) (← links)
- Stable components of directed spaces (Q2423830) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- Dipaths and dihomotopies in a cubical complex (Q2573655) (← links)
- Context for models of concurrency (Q2810953) (← links)
- A framework for component categories (Q2810956) (← links)
- Comparing topological models for concurrency (Q2810960) (← links)
- A fibration category of local pospaces (Q2810961) (← links)
- Criteria for homotopic maps to be so along monotone homotopies (Q2810962) (← links)
- Future Path-components in Directed Topology (Q3178262) (← links)
- Homotopy theory of Moore flows (II) (Q3390300) (← links)
- (Q3429780) (← links)
- Covering space theory for directed topology (Q3629447) (← links)
- Unique decomposition of homogeneous languages and application to isothetic regions (Q4629267) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- Left properness of flows (Q4994669) (← links)
- A Hurewicz Model Structure for Directed Topology (Q4994670) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- Bicategories for TQFTs with defects with structure (Q5072606) (← links)
- Configuration spaces and directed paths on the final precubical set (Q5074060) (← links)
- Six model categories for directed homotopy (Q5077344) (← links)
- Stratified spaces, directed algebraic topology, and state-sum TQFTs (Q5085862) (← links)
- Simplicial Models for Concurrency (Q5179017) (← links)
- Streams, d-Spaces and Their Fundamental Categories (Q5179023) (← links)
- Dijkgraaf–Witten type invariants of Seifert surfaces in 3-manifolds (Q5269124) (← links)
- A convenient category for directed homotopy (Q5387358) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
- The homology digraph of a preordered space (Q6612008) (← links)
- Non-existing and ill-behaved coequalizers of locally ordered spaces (Q6645917) (← links)
