Commutativity Of Quantum Weakest Preconditions

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, M
dc.contributor.author Chen, JF
dc.contributor.author Feng, Y
dc.contributor.author Duan, R
dc.date.accessioned 2010-05-28T09:42:26Z
dc.date.issued 2007-01
dc.identifier.citation Information Processing Letters, 2007, 104 (4), pp. 152 - 158
dc.identifier.issn 0020-0190
dc.identifier.other C1UNSUBMIT en_US
dc.identifier.uri http://hdl.handle.net/10453/8318
dc.description.abstract 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
dc.publisher Elsevier Science Bv
dc.relation.hasversion Accepted manuscript version en_US
dc.relation.isbasedon 10.1016/j.ipl.2007.06.003
dc.rights NOTICE: this is the author’s version of a work that was accepted for publication in Information Processing Letters. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Processing Letters, [Volume 104, Issue 4, 15 November 2007, Pages 152–158] DOI#” http://dx.doi.org/10.1016/j.ipl.2007.06.003 en_US
dc.subject Formal Semantics, Quantum Program, Hermitian Matrix, Super-Operator, Weakest Precondition, Computation Theory & Mathematics
dc.subject Formal Semantics; Quantum Program; Hermitian Matrix; Super-Operator; Weakest Precondition; Computation Theory & Mathematics
dc.title Commutativity Of Quantum Weakest Preconditions
dc.type Journal Article
dc.parent Information Processing Letters
dc.journal.volume 4
dc.journal.volume 104
dc.journal.number 4 en_US
dc.publocation Amsterdam en_US
dc.identifier.startpage 152 en_US
dc.identifier.endpage 158 en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 0105 Mathematical Physics
dc.personcode 103396 en_US
dc.personcode 0000020247 en_US
dc.personcode 106439 en_US
dc.personcode 106353 en_US
dc.percentage 100 en_US
dc.classification.name Mathematical Physics en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords Formal Semantics; Quantum Program; Hermitian Matrix; Super-Operator; Weakest Precondition en_US
dc.description.keywords Formal Semantics
dc.description.keywords Quantum Program
dc.description.keywords Hermitian Matrix
dc.description.keywords Super-Operator
dc.description.keywords Weakest Precondition
dc.staffid 106353 en_US
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems


Files in this item

This item appears in the following Collection(s)

Show simple item record