Commutativity of quantum weakest preconditions

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan
January, 2007
Cite DOI URL
Type
Journal article
Publication
Information Processing Letters
Formal semantics Quantum program Hermitian matrix Super-operator Weakest precondition