Parallel Programs

A proof system for disjoint parallel quantum programs

In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint …

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng