Reasoning about programs by exploiting the environment (Q4632437): Difference between revisions

@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative semantics for temporal logics
@@ Property / cites work: Alternative semantics for temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Program composition via unification
@@ Property / cites work: Program composition via unification / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about programs by exploiting the environment
+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 @@
+The ''Hoare logic'' of concurrent programs
@@ Property / cites work: The ''Hoare logic'' of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+The ``Hoare Logic'' of CSP, and All That
@@ Property / cites work: The ``Hoare Logic'' of CSP, and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of schedulability for real-time programs
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348472
@@ Property / cites work: Q4348472 / rank @@
+Normal rank
@@ Property / cites work @@
+Priority inheritance protocols: an approach to real-time synchronization
+Normal rank