Computable execution traces (Q2148796): Difference between revisions

@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+Trace Semantics for IPDL
@@ Property / cites work: Trace Semantics for IPDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395617
@@ Property / cites work: Q4395617 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank