Algebra of Monotonic Boolean Transformers (Q3098056): Difference between revisions

@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic treatment of procedure refinement to support mechanical verification
+Normal rank
@@ Property / cites work @@
+Duality in specification languages: A lattice-theoretical approach
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic separation logic
@@ Property / cites work: Algebraic separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940822
@@ Property / cites work: Q3940822 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / 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 @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling angelic and demonic nondeterminism with multirelations
+Normal rank
@@ Property / cites work @@
+Refinement algebra for probabilistic programs
@@ Property / cites work: Refinement algebra for probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Frame rule for mutually recursive procedures manipulating pointers
+Normal rank
@@ Property / cites work @@
+Data Refinement of Invariant Based Programs
@@ Property / cites work: Data Refinement of Invariant Based Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Enabledness and termination in refinement algebra
@@ Property / cites work: Enabledness and termination in refinement algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808696
@@ Property / cites work: Q4808696 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank