Angelic nondeterminism in the unifying theories of programming (Q851128): Difference between revisions

@@ Property / cites work @@
+Duality in specification languages: A lattice-theoretical approach
+Normal rank
@@ Property / cites work @@
+Combining angels, demons and miracles in program specifications
+Normal rank
@@ Property / cites work @@
+Q4808846
@@ Property / cites work: Q4808846 / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+A Weakest Precondition Semantics for Z
@@ Property / cites work: A Weakest Precondition Semantics for Z / rank @@
+Normal rank
@@ Property / cites work @@
+ZRC -- A refinement calculus for \(Z\)
@@ Property / cites work: ZRC -- A refinement calculus for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863831
@@ Property / cites work: Q2863831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement of predicate transformers
@@ Property / cites work: Data refinement of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest prespecification
@@ Property / cites work: The weakest prespecification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement by calculation
@@ Property / cites work: Data refinement by calculation / rank @@
+Normal rank
@@ Property / cites work @@
+A tactic calculus. --- Abridged version
@@ Property / cites work: A tactic calculus. --- Abridged version / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Relational Structures as Knowledge Instruments
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank