Formal semantics of a classical-quantum language (Q2123052): Difference between revisions

@@ Property / cites work @@
+Fifty years of Hoare's logic
@@ Property / cites work: Fifty years of Hoare's logic / rank @@
+Normal rank
@@ Property / cites work @@
+An assertion-based program logic for probabilistic programs
+Normal rank
@@ Property / cites work @@
+Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs
@@ Property / cites work: Reasoning about probabilistic sequential programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851315
@@ Property / cites work: Q2851315 / rank @@
+Normal rank
@@ Property / cites work @@
+VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / 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 @@
+A Logic for Formal Verification of Quantum Programs
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Recursive Probabilistic Programs
@@ Property / cites work: Reasoning about Recursive Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for disjoint parallel quantum programs
+Normal rank