Model checking quantum Markov chains (Q394340): Difference between revisions

@@ Property / author @@
-Ming Sheng Ying
@@ Property / author: Ming Sheng Ying / rank @@
-Normal rank
@@ Property / author @@
+Ming Sheng Ying
@@ Property / author: Ming Sheng Ying / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P94
@@ Property / Mathematics Subject Classification ID: 81P94 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+S25
@@ Property / Mathematics Subject Classification ID: 81S25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6250593
@@ Property / zbMATH DE Number: 6250593 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum Markov chains
@@ Property / zbMATH Keywords: quantum Markov chains / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum protocols
@@ Property / zbMATH Keywords: quantum protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / 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 / OpenAlex ID @@
+W2963787308
@@ Property / OpenAlex ID: W2963787308 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2187
@@ Property / arXiv ID: 1205.2187 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrelativistic quantum mechanics as a noncommutative Markov process
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / 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 @@
+Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
+Normal rank
@@ Property / cites work @@
+Q4792125
@@ Property / cites work: Q4792125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4148368
@@ Property / cites work: Q4148368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Markov chains
@@ Property / cites work: Quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998992
@@ Property / cites work: Q3998992 / rank @@
+Normal rank
@@ Property / cites work @@
+States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of NEC groups
@@ Property / cites work: Subgroups of NEC groups / 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 @@
+Exact Quantum Algorithms for the Leader Election Problem
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:394340