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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-010-9301-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2124067458
@@ Property / OpenAlex ID: W2124067458 / rank @@
+Normal rank
@@ 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