Super-Operator

An algebra of quantum processes

We introduce an algebra qCCS of pure quantum processes in which communications by moving quantum states physically are allowed and …

Mingsheng Ying, Yuan Feng, Runyao Duan, Zhengfeng Ji

Commutativity of quantum weakest preconditions

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan