A proof system for disjoint parallel quantum programs
type: Item
instance of: scholarly article
title: A proof system for disjoint parallel quantum programs
zbMATH Open document ID: 1478.68047
author: Li Zhou
author: Yangjia Li
author: Yuan Feng
author: Mingsheng Ying
published in: Theoretical Computer Science
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q12
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 7437217
zbMATH Keywords: quantum programming
zbMATH Keywords: quantum Hoare logic
zbMATH Keywords: parallel programs
zbMATH Keywords: entanglement
describes a project that uses: openQASM
describes a project that uses: QPL
describes a project that uses: Forest
MaRDI profile type: Publication
full work available at URL: j.tcs.2021.10.025
OpenAlex ID: W3211906515
cites work: Verification of sequential and concurrent programs
cites work: LQP: the dynamic logic of quantum information
cites work: Efficient distributed quantum computing
cites work: Quantum advantage with shallow circuits
cites work: DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
cites work: Reasoning about imperative quantum programs
cites work: Quantum weakest preconditions
cites work: Proof rules for the correctness of quantum programs
cites work: Quantum entanglement
cites work: A Logic for Formal Verification of Quantum Programs
cites work: Convergence and Decomposition for Tensor Products of Hilbert Space Operators
cites work: Proving the Correctness of Multiprocess Programs
cites work: Parallel quantum computation and quantum codes
cites work: Q2706552
cites work: Q4140351
cites work: An axiomatic proof technique for parallel programs
cites work: Towards a quantum programming language
cites work: Exact Quantum Algorithms for the Leader Election Problem
cites work: Toward automatic verification of quantum programs
DOI: 10.1016/J.TCS.2021.10.025
description: scientific article; zbMATH DE number 7437217