Pages that link to "Item:Q2500494"
From MaRDI portal
The following pages link to Algebraic topology and concurrency (Q2500494):
Displaying 50 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- ST-structures (Q338620) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Homology for higher-rank graphs and twisted \(C^*\)-algebras (Q452361) (← 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)
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Cubical local partial orders on cubically subdivided spaces -- existence and construction (Q854178) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Geometric analysis of nondeterminacy in dynamical systems (Q868434) (← 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)
- Geometric and combinatorial views on asynchronous computability (Q1657197) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Higher fundamental groupoids for spaces (Q1873735) (← links)
- Combinatorial conditions for directed collapsing (Q2080092) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- Saturating directed spaces (Q2255541) (← links)
- Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- Cubical approximation for directed topology. I (Q2350094) (← links)
- The trace space of the \(k\)-skeleton of the \(n\)-cube (Q2352517) (← links)
- Homology groups of cubical sets (Q2423829) (← links)
- Stable components of directed spaces (Q2423830) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Components of the fundamental category. II (Q2463396) (← links)
- Invariants of directed spaces (Q2463399) (← links)
- Dipaths and dihomotopies in a cubical complex (Q2573655) (← links)
- Homomorphism complexes, reconfiguration, and homotopy for directed graphs (Q2701005) (← links)
- (Q2703724) (← 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)
- Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems (Q2810964) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- Future Path-components in Directed Topology (Q3178262) (← links)
- Homology of Spaces of Directed Paths in Euclidean Pattern Spaces (Q4604391) (← links)
- Unique decomposition of homogeneous languages and application to isothetic regions (Q4629267) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- (Q4989400) (← links)
- A Hurewicz Model Structure for Directed Topology (Q4994670) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- Configuration spaces and directed paths on the final precubical set (Q5074060) (← links)
