Pages that link to "Item:Q1397800"

The following pages link to Topological deformation of higher dimensional automata (Q1397800):

Displaying 18 items.

• Topological abstraction of higher-dimensional automata (Q278749) (← links)
• Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
• \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences (Q925393) (← links)
• Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
• Automate parallèle à homotopie près. I. (Concurrent process up to homotopy. I) (Q1408193) (← links)
• Concurrent process up to homotopy. II (Q1417115) (← links)
• Higher fundamental groupoids for spaces (Q1873735) (← links)
• Weak morphisms of higher dimensional automata (Q2449047) (← links)
• On the expressiveness of higher dimensional automata (Q2491631) (← links)
• Algebraic topology and concurrency (Q2500494) (← links)
• Topological automata (Q2643137) (← links)
• T-homotopy and refinement of observation. I: Introduction (Q2810959) (← links)
• A fibration category of local pospaces (Q2810961) (← links)
• Sheaves and geometric logic and applications to modular verification of complex systems (Q2810964) (← links)
• A case for po-manifolds -- in chase after a good topological model for concurrency (Q2843711) (← links)
• Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
• Homotopical interpretation of globular complex by multipointed d-space (Q3552028) (← links)
• (Q4707047) (← links)