9 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
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…