On execution spaces of PV-programs (Q5964017): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2124548200
@@ Property / OpenAlex ID: W2124548200 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04498
@@ Property / arXiv ID: 1502.04498 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial Models for Concurrency
@@ Property / cites work: Simplicial Models for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Components of the fundamental category
@@ Property / cites work: Components of the fundamental category / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic topology and concurrency
@@ Property / cites work: Algebraic topology and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453908
@@ Property / cites work: Q4453908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3625520
@@ Property / cites work: Q3625520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4819371
@@ Property / cites work: Q4819371 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial algebraic topology
@@ Property / cites work: Combinatorial algebraic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Regular Polytopes
@@ Property / cites work: Abstract Regular Polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Trace spaces in a pre-cubical complex
@@ Property / cites work: Trace spaces in a pre-cubical complex / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial models of trace spaces
@@ Property / cites work: Simplicial models of trace spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Execution spaces for simple higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Homology of spaces of directed paths on Euclidean cubical complexes
+Normal rank
@@ Property / cites work @@
+Q2848133
@@ Property / cites work: Q2848133 / rank @@
+Normal rank
@@ Property / cites work @@
+A cubical model for path spaces in d-simplicial complexes
+Normal rank