Transformational semantics for concurrent programs (Q1144920): Difference between revisions

@@ Property / cites work @@
+Q3911357
@@ Property / cites work: Q3911357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886833
@@ Property / cites work: Q3886833 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4151148
@@ Property / cites work: Q4151148 / rank @@
+Normal rank
@@ Property / cites work @@
+A contribution to the programming calculus
@@ Property / cites work: A contribution to the programming calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A hard act to follow
@@ Property / cites work: A hard act to follow / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying properties of parallel programs
@@ Property / cites work: Verifying properties of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Program. construction. International summer school
+Normal rank