10 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LO2018★ 10 cited
Reasoning about Parallel Quantum Programs
Mingsheng Ying, Li Zhou, Yangjia Li
We initiate the study of parallel quantum programming by defining the operational and denotational semantics of parallel quantum programs. The technical contributions of this paper…
quant-ph2010★ 2 cited
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subs…