Commutativity Of Quantum Weakest Preconditions

Elsevier Science Bv
Publication Type:
Journal Article
Information Processing Letters, 2007, 104 (4), pp. 152 - 158
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004765.pdf257.22 kB
Adobe PDF
The notion of quantum weakest precondition was introduced by D'Hondt and P. Panangaden [E. D'Hondt, P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science 16 (2006) 429-451], and they presented a representation of weake
Please use this identifier to cite or link to this item: