Combinatorics of labelling in higher-dimensional automata (Q960860): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1966230673
@@ Property / OpenAlex ID: W1966230673 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1667
@@ Property / arXiv ID: 0808.1667 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple categories: The equivalence of a globular and a cubical approach
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheafifiable homotopy model categories
@@ Property / cites work: Sheafifiable homotopy model categories / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebra of cubes
@@ Property / cites work: On the algebra of cubes / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200638
@@ Property / cites work: Q5200638 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theory of diagrams
@@ Property / cites work: Homotopy theory of diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896538
@@ Property / cites work: Q4896538 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A convenient category for directed homotopy
@@ Property / cites work: A convenient category for directed homotopy / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy invariants of higher dimensional categories and concurrency in computer science
+Normal rank
@@ Property / cites work @@
+Q2724148
@@ Property / cites work: Q2724148 / rank @@
+Normal rank
@@ Property / cites work @@
+A model category for the homotopy theory of concurrency
+Normal rank
@@ Property / cites work @@
+Towards a homotopy theory of process algebra
@@ Property / cites work: Towards a homotopy theory of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Topological deformation of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Q4707052
@@ Property / cites work: Q4707052 / rank @@
+Normal rank
@@ Property / cites work @@
+Some geometric perspectives in concurrency theory
@@ Property / cites work: Some geometric perspectives in concurrency theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453908
@@ Property / cites work: Q4453908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / rank @@
+Normal rank
@@ Property / cites work @@
+The Hecke group algebra of a Coxeter group and its representation theory.
+Normal rank
@@ Property / cites work @@
+Q4255482
@@ Property / cites work: Q4255482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy colimits in the category of small categories
+Normal rank
@@ Property / cites work @@
+On the expressiveness of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Q5432050
@@ Property / cites work: Q5432050 / rank @@
+Normal rank