The decidability border of hereditary history preserving bisimilarity (Q835053): Difference between revisions

@@ Property / cites work @@
+Q4490357
@@ Property / cites work: Q4490357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499199
@@ Property / cites work: Q4499199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941914
@@ Property / cites work: Q4941914 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding true concurrency equivalences on safe, finite nets
+Normal rank
@@ Property / cites work @@
+Q4501547
@@ Property / cites work: Q4501547 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of domino games and hhp-bisimilarity.
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251912
@@ Property / cites work: Q4251912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415263
@@ Property / cites work: Q4415263 / rank @@
+Normal rank
@@ Property / cites work @@
+On undecidability of propositional temporal logics on trace systems
+Normal rank
@@ Property / cites work @@
+Q4791269
@@ Property / cites work: Q4791269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank