Equational Reasoning About Quantum Protocols (Q2822505): Difference between revisions

@@ Property / OpenAlex ID @@
+W1810325849
@@ Property / OpenAlex ID: W1810325849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986182
@@ Property / cites work: Q4986182 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for quantum processes
@@ Property / cites work: Bisimulation for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Process Calculus for Linear Optical Quantum Computing
+Normal rank
@@ Property / cites work @@
+Q4995158
@@ Property / cites work: Q4995158 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating quantum processes
@@ Property / cites work: Communicating quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Types and typechecking for Communicating Quantum Processes
+Normal rank
@@ Property / cites work @@
+Quantum secret sharing
@@ Property / cites work: Quantum secret sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Unconditional security in quantum cryptography
@@ Property / cites work: Unconditional security in quantum cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Bisimulation Congruence for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank