Weak equivalence of higher-dimensional automata (Q5038191): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3162858668
@@ Property / OpenAlex ID: W3162858668 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.12787
@@ Property / arXiv ID: 1910.12787 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the decidability of some problems for regular trace languages
+Normal rank
@@ Property / cites work @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4767258
@@ Property / cites work: Q4767258 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3873183
@@ Property / cites work: Q3873183 / rank @@
+Normal rank
@@ Property / cites work @@
+Morse theory for cell complexes
@@ Property / cites work: Morse theory for cell complexes / rank @@
+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 @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+The Coarsest Precongruences Respecting Safety and Liveness Properties
+Normal rank
@@ Property / cites work @@
+Formal Relationships Between Geometrical and Classical Models for Concurrency
+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 @@
+Q3625520
@@ Property / cites work: Q3625520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4819371
@@ Property / cites work: Q4819371 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / 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 @@
+Weak morphisms of higher dimensional automata
@@ Property / cites work: Weak morphisms of higher dimensional automata / rank @@
+Normal rank
@@ Property / cites work @@
+Topological abstraction of higher-dimensional automata
+Normal rank
@@ Property / cites work @@
+Labeled homology of higher-dimensional automata
@@ Property / cites work: Labeled homology of higher-dimensional automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5232910
@@ Property / cites work: Q5232910 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+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 @@
+A convenient category of topological spaces
@@ Property / cites work: A convenient category of topological spaces / rank @@
+Normal rank