Reachability and Termination Analysis of Concurrent Quantum Programs.

Nengkun Yu, Mingsheng Ying

Browse the full CONCUR paper archive.