Pages that link to "Item:Q4507891"
From MaRDI portal
The following pages link to Homotopy invariants of higher dimensional categories and concurrency in computer science (Q4507891):
Displaying 15 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← 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)
- Multiple categories: The equivalence of a globular and a cubical approach (Q1849218) (← links)
- Higher fundamental groupoids for spaces (Q1873735) (← links)
- Homology of categories via polygraphic resolutions (Q2031557) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- From concurrency to algebraic topology (Q2703724) (← links)
- On the specification of higher dimensional automata (Q2841306) (← links)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- (Q3146269) (← links)
- (Q4453908) (← links)
- (Q4707047) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)