Refinement algebra for probabilistic programs (Q2268474): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-009-0111-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2084581205
@@ Property / OpenAlex ID: W2084581205 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning algebraically about loops
@@ Property / cites work: Reasoning algebraically about loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Using Probabilistic Kleene Algebra for Protocol Verification
+Normal rank
@@ Property / cites work @@
+Probabilistic Choice in Refinement Algebra
@@ Property / cites work: Probabilistic Choice in Refinement Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic reasoning for probabilistic action systems and while-loops
+Normal rank
@@ Property / cites work @@
+Q2703741
@@ Property / cites work: Q2703741 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Reactive Probabilistic Programs and Refinement Algebra
+Normal rank
@@ Property / cites work @@
+Towards Automated Proof Support for Probabilistic Distributed Systems
+Normal rank
@@ Property / cites work @@
+On Two Dually Nondeterministic Refinement Algebras
+Normal rank
@@ Property / cites work @@
+Refinement Algebra with Operators for Enabledness and Termination
+Normal rank
@@ Property / cites work @@
+Monodic Tree Kleene Algebra
@@ Property / cites work: Monodic Tree Kleene 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