Pages that link to "Item:Q2573655"

The following pages link to Dipaths and dihomotopies in a cubical complex (Q2573655):

Displaying 26 items.

• History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
• ST-structures (Q338620) (← links)
• Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
• Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
• Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
• Enriched categories and models for spaces of evolving states (Q949618) (← links)
• Trace spaces in a pre-cubical complex (Q1019149) (← links)
• Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
• Connectivity of spaces of directed paths in geometric models for concurrent computation (Q2096387) (← links)
• Directed topological complexity (Q2304014) (← links)
• Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
• Cubical approximation for directed topology. I (Q2350094) (← links)
• Weak morphisms of higher dimensional automata (Q2449047) (← links)
• Invariants of directed spaces (Q2463399) (← links)
• Algebraic topology and concurrency (Q2500494) (← links)
• Criteria for homotopic maps to be so along monotone homotopies (Q2810962) (← links)
• Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
• Natural Homology (Q3449474) (← links)
• The geometry of conservative programs (Q4961721) (← links)
• (Q4989400) (← links)
• A Hurewicz Model Structure for Directed Topology (Q4994670) (← links)
• Languages of higher-dimensional automata (Q5076390) (← links)
• Towards Directed Collapsibility (Research) (Q5118676) (← links)
• Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
• Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)
• A semi-abelian approach to directed homology (Q6589168) (← links)