Pages that link to "Item:Q2515156"
From MaRDI portal
The following pages link to Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram (Q2515156):
Displaying 36 items.
- Directed path spaces via discrete vector fields (Q669618) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Geometric and combinatorial views on asynchronous computability (Q1657197) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- New statistical models of nonergodic cognitive systems and their pathologies (Q1752334) (← links)
- Combinatorial conditions for directed collapsing (Q2080092) (← links)
- On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
- Connectivity of spaces of directed paths in geometric models for concurrent computation (Q2096387) (← links)
- Topological model of neural information networks (Q2117913) (← links)
- Directed topological complexity (Q2304014) (← 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)
- Stable components of directed spaces (Q2423830) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- (Q3146269) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- (Q4453908) (← 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)
- Left properness of flows (Q4994669) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- Configuration spaces and directed paths on the final precubical set (Q5074060) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Bisimilarity of Diagrams (Q5098713) (← links)
- Towards Directed Collapsibility (Research) (Q5118676) (← links)
- Strictifying and taming directed paths in Higher Dimensional Automata (Q5156774) (← links)
- A directed persistent homology theory for dissimilarity functions (Q6082668) (← links)
- Linear obstacles in linear systems, and ways to avoid them (Q6094851) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)
- What Are Higher-Order Networks? (Q6115448) (← links)
- Ordered locales (Q6117885) (← links)
- Comparing cubical and globular directed paths (Q6144989) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Distances and isomorphism between networks: stability and convergence of network invariants (Q6175712) (← links)
