Thread algebra for poly-threading (Q640299): Difference between revisions

@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ 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/s00165-011-0178-3
+Normal rank
@@ Property / OpenAlex ID @@
+W3102808117
@@ Property / OpenAlex ID: W3102808117 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for pushdown threads
@@ Property / cites work: Decision problems for pushdown threads / 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 @@
+Thread algebra for strategic interleaving
@@ Property / cites work: Thread algebra for strategic interleaving / rank @@
+Normal rank
@@ Property / cites work @@
+Execution architectures for program algebra
@@ Property / cites work: Execution architectures for program algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Operating Systems: Program overlay techniques
@@ Property / cites work: Operating Systems: Program overlay techniques / 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 @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank