Pages that link to "Item:Q2500494"
From MaRDI portal
The following pages link to Algebraic topology and concurrency (Q2500494):
Displaying 20 items.
- Unique decomposition of homogeneous languages and application to isothetic regions (Q4629267) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- (Q4989400) (← links)
- A Hurewicz Model Structure for Directed Topology (Q4994670) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- Configuration spaces and directed paths on the final precubical set (Q5074060) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Stratified spaces, directed algebraic topology, and state-sum TQFTs (Q5085862) (← links)
- Towards Directed Collapsibility (Research) (Q5118676) (← links)
- Simplicial Models for Concurrency (Q5179017) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- Streams, d-Spaces and Their Fundamental Categories (Q5179023) (← links)
- Trace spaces of directed tori with rectangular holes (Q5740352) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)
- The homology digraph of a preordered space (Q6612008) (← links)
- Non-existing and ill-behaved coequalizers of locally ordered spaces (Q6645917) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
- Syntactic regions for concurrent programs (Q6653757) (← links)
- Persistent homology of partially ordered spaces (Q6669850) (← links)
