The following pages link to (Q3625520):
Displayed 45 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Iterated chromatic subdivisions are collapsible (Q891921) (← links)
- Simplicial models of trace spaces (Q986682) (← 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)
- Exponentiable streams and prestreams (Q2014744) (← links)
- Combinatorial conditions for directed collapsing (Q2080092) (← links)
- Monads, partial evaluations, and rewriting (Q2133473) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- Saturating directed spaces (Q2255541) (← links)
- Directed topological complexity (Q2304014) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- The trace space of the \(k\)-skeleton of the \(n\)-cube (Q2352517) (← links)
- Homology groups of cubical sets (Q2423829) (← links)
- Variations on a theme of homotopy (Q2448536) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- Natural Homology (Q3449474) (← links)
- Unique decomposition of homogeneous languages and application to isothetic regions (Q4629267) (← links)
- Open-graphs and monoidal theories (Q4917191) (← links)
- (Q4989400) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- Bicategories for TQFTs with defects with structure (Q5072606) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Stratified spaces, directed algebraic topology, and state-sum TQFTs (Q5085862) (← links)
- Strictifying and taming directed paths in Higher Dimensional Automata (Q5156774) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- Streams, d-Spaces and Their Fundamental Categories (Q5179023) (← links)
- Dijkgraaf–Witten type invariants of Seifert surfaces in 3-manifolds (Q5269124) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
- A directed persistent homology theory for dissimilarity functions (Q6082668) (← links)
- Ordered locales (Q6117885) (← links)