A UTP semantics for \textsf{Circus} (Q1019016): Difference between revisions

@@ Property / cites work @@
+Q4436966
@@ Property / cites work: Q4436966 / 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 @@
+ZRC -- A refinement calculus for \(Z\)
@@ Property / cites work: ZRC -- A refinement calculus for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680192
@@ Property / cites work: Q4680192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanising a Unifying Theory
@@ Property / cites work: Mechanising a Unifying Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories in ProofPower-Z
@@ Property / cites work: Unifying Theories in ProofPower-Z / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494259
@@ Property / cites work: Q4494259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank