Pages that link to "Item:Q1397802"

The following pages link to Some geometric perspectives in concurrency theory (Q1397802):

Displaying 41 items.

• Topological abstraction of higher-dimensional automata (Q278749) (← 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)
• Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
• Polygraphic resolutions and homology of monoids (Q1008743) (← links)
• A hyperbolic concurrency theorem (Q1385214) (← links)
• Geometric and combinatorial views on asynchronous computability (Q1657197) (← links)
• From geometric semantics to asynchronous computability (Q1664156) (← links)
• Modelling and computing homotopy types: I (Q1688970) (← links)
• On symmetric higher-dimensional automata and bisimilarity (Q2084943) (← links)
• The continuous weak order (Q2196345) (← links)
• Culture and inattentional blindness: a global workspace perspective (Q2209951) (← links)
• The homology graph of a precubical set (Q2444581) (← 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)
• A model category for local po-spaces (Q2488617) (← links)
• On the expressiveness of higher dimensional automata (Q2491631) (← links)
• Algebraic topology and concurrency (Q2500494) (← links)
• Infinitely running concurrent processes with loops from a geometric viewpoint (Q2703722) (← links)
• From concurrency to algebraic topology (Q2703724) (← links)
• Context for models of concurrency (Q2810953) (← links)
• A framework for component categories (Q2810956) (← links)
• T-homotopy and refinement of observation. I: Introduction (Q2810959) (← links)
• Comparing topological models for concurrency (Q2810960) (← links)
• A fibration category of local pospaces (Q2810961) (← links)
• A case for po-manifolds -- in chase after a good topological model for concurrency (Q2843711) (← links)
• Cubical $(\omega,p)$-categories (Q3121024) (← links)
• Toward formal models of biologically inspired, highly parallel machine cognition (Q3532792) (← links)
• Covering space theory for directed topology (Q3629447) (← links)
• Code, Context, and Epigenetic Catalysis in Gene Expression (Q3642960) (← links)
• The geometry of semaphore programs (Q3763578) (← links)
• (Q3787461) (← links)
• Geometry and concurrency: a user's guide (Q4507888) (← links)
• Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
• A semi-abelian approach to directed homology (Q6589168) (← links)
• The homology digraph of a preordered space (Q6612008) (← links)
• Zigzag normalisation for associative \(n\)-categories (Q6649467) (← links)
• Syntactic regions for concurrent programs (Q6653757) (← links)