History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6567559
@@ Property / zbMATH DE Number: 6567559 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+higher-dimensional automaton
@@ Property / zbMATH Keywords: higher-dimensional automaton / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+history-preserving bisimilarity
@@ Property / zbMATH Keywords: history-preserving bisimilarity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+homotopy
@@ Property / zbMATH Keywords: homotopy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+unfolding
@@ Property / zbMATH Keywords: unfolding / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317963
@@ Property / Wikidata QID: Q113317963 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2081965543
@@ Property / OpenAlex ID: W2081965543 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4927
@@ Property / arXiv ID: 1209.4927 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of History Dependent Abstractions for Learning Interface Automata
+Normal rank
@@ Property / cites work @@
+Generating models of infinite-state communication protocols using regular inference with abstraction
+Normal rank
@@ Property / cites work @@
+Weak factorization systems and topological functors
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733427
@@ Property / cites work: Q4733427 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+History-preserving bisimilarity for higher-dimensional automata via open maps
+Normal rank
@@ Property / cites work @@
+Dipaths and dihomotopies in a cubical complex
@@ Property / cites work: Dipaths and dihomotopies in a cubical complex / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic topology and concurrency
@@ Property / cites work: Algebraic topology and concurrency / rank @@
+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 @@
+Q4941914
@@ Property / cites work: Q4941914 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy invariants of higher dimensional categories and concurrency in computer science
+Normal rank
@@ Property / cites work @@
+Q3146269
@@ Property / cites work: Q3146269 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopical interpretation of globular complex by multipointed d-space
+Normal rank
@@ Property / cites work @@
+Towards a homotopy theory of higher dimensional transition systems
+Normal rank
@@ Property / cites work @@
+Geometry and concurrency: a user's guide
@@ Property / cites work: Geometry and concurrency: a user's guide / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Relationships Between Geometrical and Classical Models for Concurrency
+Normal rank
@@ Property / cites work @@
+The unfolding of general Petri nets
@@ Property / cites work: The unfolding of general Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of domino games and hhp-bisimilarity.
+Normal rank
@@ Property / cites work @@
+Weak factorizations, fractions and homotopies
@@ Property / cites work: Weak factorizations, fractions and homotopies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222939
@@ Property / cites work: Q4222939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353638
@@ Property / cites work: Q4353638 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+My time with Rob
@@ Property / cites work: My time with Rob / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:265804