On logical and concurrent equivalences (Q4917082): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753677
@@ Property / cites work: Q2753677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490357
@@ Property / cites work: Q4490357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941914
@@ Property / cites work: Q4941914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360863
@@ Property / cites work: Q4360863 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank