On the expressiveness of single-pass instruction sequences (Q692925): Difference between revisions

@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185842
@@ Property / cites work: Q3185842 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous cooperation for explicit multi-threading
+Normal rank
@@ Property / cites work @@
+Program algebra with a jump-shift instruction
@@ Property / cites work: Program algebra with a jump-shift instruction / rank @@
+Normal rank
@@ Property / cites work @@
+Maurer computers for pipelined instruction processing
+Normal rank
@@ Property / cites work @@
+Transmission Protocols for Instruction Streams
@@ Property / cites work: Transmission Protocols for Instruction Streams / rank @@
+Normal rank
@@ Property / cites work @@
+Instruction Sequences with Dynamically Instantiated Instructions
+Normal rank
@@ Property / cites work @@
+Execution architectures for program algebra
@@ Property / cites work: Execution architectures for program algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Describing data flow analysis techniques with Kleene algebra
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank