175 citations · 1.2k across the 63 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 9 cited
Reachability and Termination Analysis of Concurrent Quantum Programs
Nengkun Yu, Mingsheng Ying
We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli's probabilistic concurrent programs. Some charac…
cs.LO2012
Termination of Nondeterministic Quantum Programs
Yangjia Li, Nengkun Yu, Mingsheng Ying
We define a language-independent model of nondeterministic quantum programs in which a quantum program consists of a finite set of quantum processes. These processes are represente…