The algebra of multirelations (Q4925034): Difference between revisions

@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Combining angels, demons and miracles in program specifications
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical model for higher order imperative programming
+Normal rank
@@ Property / cites work @@
+Modelling higher-order dual nondeterminacy
@@ Property / cites work: Modelling higher-order dual nondeterminacy / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Q4278674
@@ Property / cites work: Q4278674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling angelic and demonic nondeterminism with multirelations
+Normal rank
@@ Property / cites work @@
+Monadic Maps and Folds for Multirelations in an Allegory
+Normal rank
@@ Property / cites work @@
+Nondeterministic Folds
@@ Property / cites work: Nondeterministic Folds / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a calculus of predicate transformers
@@ Property / cites work: Towards a calculus of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / 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 @@
+An algebraic construction of predicate transformers
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank