Simple characterizations for commutativity of quantum weakest preconditions
From MaRDI portal
Abstract: In a recent letter [Information Processing Letters~104 (2007) 152-158], it has shown some sufficient conditions for commutativity of quantum weakest preconditions. This paper provides some alternative and simple characterizations for the commutativity of quantum weakest preconditions, i.e., Theorem 3.1, Theorem 3.2 and Proposition 3.3 in what follows. We also show that to characterize the commutativity of quantum weakest preconditions in terms of () is hard in the sense of Proposition 4.1 and Proposition 4.2.
This page was built for publication: Simple characterizations for commutativity of quantum weakest preconditions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6227273)
