Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794): Difference between revisions

@@ Property / cites work @@
+Q3030242
@@ Property / cites work: Q3030242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066554
@@ Property / cites work: Q4066554 / rank @@
+Normal rank
@@ Property / cites work @@
+Joyce—A programming language for distributed systems
+Normal rank
@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+Normal rank
@@ Property / cites work @@
+An experiment in language design for distributed systems
+Normal rank
@@ Property / cites work @@
+Q4146243
@@ Property / cites work: Q4146243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666231
@@ Property / cites work: Q3666231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919088
@@ Property / cites work: Q3919088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325015
@@ Property / cites work: Q3325015 / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming sequential systems into concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3680255
@@ Property / cites work: Q3680255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780449
@@ Property / cites work: Q3780449 / rank @@
+Normal rank
@@ Property / cites work @@
+A methodology for programming with concurrency: The formalism
+Normal rank
@@ Property / cites work @@
+A methodology for programming with concurrency: An informal presentation
+Normal rank
@@ Property / cites work @@
+Q5674989
@@ Property / cites work: Q5674989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867194
@@ Property / cites work: Q3867194 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Pascal-plus—another language for modular multiprogramming
+Normal rank
@@ Property / cites work @@
+Q4116049
@@ Property / cites work: Q4116049 / rank @@
+Normal rank