Partial correctness for probabilistic demonic programs (Q5958768): Difference between revisions

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+The generalized Riemann integral on locally compact spaces
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic dynamic logic
@@ Property / cites work: A probabilistic dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3744955
@@ Property / cites work: Q3744955 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Programs, Recursion and Unbounded Choice
@@ Property / cites work: Programs, Recursion and Unbounded Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic, angelic and unbounded probabilistic choices in sequential programs
+Normal rank
@@ Property / cites work @@
+Partial correctness for probabilistic demonic programs
+Normal rank
@@ Property / cites work @@
+Unifying wp and wlp
@@ Property / cites work: Unifying wp and wlp / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650203
@@ Property / cites work: Q5650203 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5958768