Pages that link to "Item:Q1431357"
From MaRDI portal
The following pages link to Components of the fundamental category (Q1431357):
Displaying 12 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- ST-structures (Q338620) (← links)
- A cubical model for path spaces in d-simplicial complexes (Q411814) (← links)
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Enriched categories and models for spaces of evolving states (Q949618) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Trace spaces in a pre-cubical complex (Q1019149) (← links)
- A convenient category of locally preordered spaces (Q1037410) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
