Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086): Difference between revisions

@@ Property / author @@
-Simon J. Gay
@@ Property / author: Simon J. Gay / rank @@
-Normal rank
@@ Property / author @@
+Simon J. Gay
@@ Property / author: Simon J. Gay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QPL
@@ Property / describes a project that uses: QPL / rank @@
+Normal rank
@@ 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/978-3-642-38164-5_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2123461258
@@ Property / OpenAlex ID: W2123461258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885871
@@ Property / cites work: Q4885871 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Checking of Quantum Protocols
@@ Property / cites work: Equivalence Checking of Quantum Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
+Normal rank
@@ Property / cites work @@
+Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for quantum processes
@@ Property / cites work: Bisimulation for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking quantum Markov chains
@@ Property / cites work: Model checking quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404130
@@ Property / cites work: Q3404130 / 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 @@
+Q3560846
@@ Property / cites work: Q3560846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Relations among quantum processes: bisimilarity and congruence
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Unconditional security in quantum cryptography
@@ Property / cites work: Unconditional security in quantum cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847941
@@ Property / cites work: Q4847941 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Bisimulation Congruence for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+An algebra of quantum processes
@@ Property / cites work: An algebra of quantum processes / rank @@
+Normal rank