Transformational semantics for concurrent programs (Q1144920): 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.1016/0020-0190(80)90009-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1975595848
@@ Property / OpenAlex ID: W1975595848 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1144920