Model-Checking Linear-Time Properties of Quantum Systems (Q2946731): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1988413534
@@ Property / OpenAlex ID: W1988413534 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0303
@@ Property / arXiv ID: 1101.0303 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+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 @@
+Quantum cryptography: public key distribution and coin tossing
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792125
@@ Property / cites work: Q4792125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508551
@@ Property / cites work: Q4508551 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic bisimulations for quantum processes
@@ Property / cites work: Probabilistic bisimulations for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for quantum processes
@@ Property / cites work: Bisimulation for quantum processes / 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 @@
+Probabilistic model checking of complex biological pathways
+Normal rank
@@ Property / cites work @@
+Local Unitary Equivalence of Multipartite Pure States
+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 @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Relations among quantum processes: bisimilarity and congruence
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Universal Quantum Simulators
@@ Property / cites work: Universal Quantum Simulators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Language for Distributed Quantum Computing
+Normal rank
@@ Property / cites work @@
+An algebra of quantum processes
@@ Property / cites work: An algebra of quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560843
@@ Property / cites work: Q3560843 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and Termination Analysis of Concurrent Quantum Programs
+Normal rank