An axiomatic proof technique for parallel programs (Q1219675): Difference between revisions

@@ Property / cites work @@
+Q5679697
@@ Property / cites work: Q5679697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117366
@@ Property / cites work: Q4117366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134900
@@ Property / cites work: Q4134900 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a structured program: 'The sieve of Eratosthenes'
+Normal rank
@@ Property / cites work @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q4068103
@@ Property / cites work: Q4068103 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of interacting processes
@@ Property / cites work: Proving properties of interacting processes / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of parallel programs: The Church-Rosser approach
+Normal rank
@@ Property / cites work @@
+The structure of the “THE”-multiprogramming system
+Normal rank
@@ Property / cites work @@
+Q4178461
@@ Property / cites work: Q4178461 / rank @@
+Normal rank