Formal verification of a programming logic for a distributed programming language (Q1285659): Difference between revisions

@@ Property / describes a project that uses @@
+Cambridge LCF
@@ Property / describes a project that uses: Cambridge LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024006
@@ Property / cites work: Q4024006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024005
@@ Property / cites work: Q4024005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999717
@@ Property / cites work: Q3999717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003356
@@ Property / cites work: Q4003356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic program verification. I: A logical basis and its implementation
+Normal rank
@@ Property / cites work @@
+Logic and Computation
@@ Property / cites work: Logic and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic semantics of communicating sequential processes
+Normal rank