Towards a Logic for Abstract MetaFinite State Machines (Q5445311): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753663
@@ Property / cites work: Q2753663 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract state machines capture parallel algorithms
+Normal rank
@@ Property / cites work @@
+Q3396617
@@ Property / cites work: Q3396617 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for secure memory access of abstract state machines
+Normal rank
@@ Property / cites work @@
+On the completeness of object-creating database transformation languages
+Normal rank