Topological abstraction of higher-dimensional automata (Q278749): Difference between revisions

@@ Property / OpenAlex ID @@
+W2270121558
@@ Property / OpenAlex ID: W2270121558 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02270
@@ Property / arXiv ID: 1506.02270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A model category for local po-spaces
@@ Property / cites work: A model category for local po-spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Models and van Kampen theorems for directed homotopy theory
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / rank @@
+Normal rank
@@ Property / cites work @@
+Reparametrizations of continuous paths
@@ Property / cites work: Reparametrizations of continuous paths / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic topology and concurrency
@@ Property / cites work: Algebraic topology and 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 @@
+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 @@
+T-homotopy and Refinement of Observation (I): Introduction
+Normal rank
@@ Property / cites work @@
+Topological deformation of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+On the expressiveness of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+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 @@
+Components of the fundamental category. II
@@ Property / cites work: Components of the fundamental category. II / rank @@
+Normal rank
@@ Property / cites work @@
+Future Path-components in Directed Topology
@@ Property / cites work: Future Path-components in Directed Topology / rank @@
+Normal rank
@@ Property / cites work @@
+A geometric view of partial order reduction
@@ Property / cites work: A geometric view of partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Relationships Between Geometrical and Classical Models for Concurrency
+Normal rank
@@ Property / cites work @@
+Q3625520
@@ Property / cites work: Q3625520 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative directed homotopy theory of partially ordered spaces
+Normal rank
@@ Property / cites work @@
+Some collapsing operations for 2-dimensional precubical sets
+Normal rank
@@ Property / cites work @@
+Weak morphisms of higher dimensional automata
@@ Property / cites work: Weak morphisms of higher dimensional automata / rank @@
+Normal rank
@@ Property / cites work @@
+The homology graph of a precubical set
@@ Property / cites work: The homology graph of a precubical set / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical approximation for directed topology. I
@@ Property / cites work: Cubical approximation for directed topology. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing path categories of finite directed cubical complexes
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants of directed spaces
@@ Property / cites work: Invariants of directed spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank